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:158 - 21 self

Documents Related by Co-Citation

618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
634 Compiling with Continuations – A Appel - 1992
1148 The Java Virtual Machine Specification – Tim Lindholm, Frank Yellin - 1997
148 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
201 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987