Compiling polymorphism using intensional type analysis (1995)

by Robert Harper , Greg Morrisett
Venue:In Symposium on Principles of Programming Languages
Citations:260 - 18 self

Documents Related by Co-Citation

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
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
1097 Proof-Carrying Code – George C. Necula - 1997
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
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
625 Compiling With Continuations – A W Appel - 1992
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
102 Compiling with Types – Greg Morrisett - 1995