Typed closure conversion (1996)

by Yasuhiko Minamide , Greg Morrisett , Robert Harper
Venue:In Proceedings of the 23th Symposium on Principles of Programming Languages (POPL
Citations:154 - 22 self

Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1097 Proof-Carrying Code – George C. Necula - 1997
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
625 Compiling With Continuations – A W Appel - 1992
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
155 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992