Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
625 Compiling With Continuations – A W Appel - 1992
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
39 The TIL/ML Compiler: Performance and Safety through Types – Greg Morrisett, David Tarditi, Perry Cheng, Chris Stone, P. Cheng, Peter Lee, C. Stone, Robert Harper, P. Lee - 1996
34 Typed Cross-Module Compilation – Zhong Shao - 1998
363 Towards a theory of type structure – J C Reynolds - 1974