Flow-Directed Closure Conversion for Typed Languages (2000)

Cached

Download Links

by Henry Cejtin , Suresh Jagannathan , Stephen Weeks
Venue:In ESOP '00 [ESOP00
Citations:32 - 1 self

Documents Related by Co-Citation

595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
156 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
625 Compiling with Continuations – A Appel - 1992
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
1111 Proof-Carrying Code – George C. Necula - 1997