Unification and ML Type Reconstruction (1991)

View PDF

Download Links

by Paris C. Kanellakis , Harry G. Mairson , John C. Mitchell
Citations:43 - 11 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
985 A theory of type polymorphism in programming – Robin Milner - 1978
378 Towards a theory of type structure – J C Reynolds - 1974
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
510 A semantics of multiple inheritance – Luca Cardelli - 1988
299 Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972