Koji Nakazawa, Makoto Tatsuta. Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems. Chicago J. Theor. Comput. Sci., 2010, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.