Type checking with universes
- 1 October 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 89 (1) , 107-136
- https://doi.org/10.1016/0304-3975(90)90108-t
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A Survey of the Project AutomathPublished by Elsevier ,1994
- Type inference and type containmentPublished by Springer Nature ,1984
- A kernel language for abstract data types and modulesPublished by Springer Nature ,1984
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- Mathematical Logic as Based on the Theory of TypesAmerican Journal of Mathematics, 1908