Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
625 Compiling With Continuations – A W Appel - 1992
363 Towards a theory of type structure – J C Reynolds - 1974
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
138 Typeful programming – Luca Cardelli - 1989
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
198 Reflections on Standard ML – David B. MacQueen - 1992
55 Abstract types and the dot notation – Luca Cardelli, Xavier Leroy - 1990
93 A Critique of Standard ML – Andrew W. Appel - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988