Flow-Directed Closure Conversion for Typed Languages (2000)

Cached

Download Links

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

Documents Related by Co-Citation

65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
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
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
31 Design and correctness of program transformations based on control-flow analysis – Anindya Banerjee, Nevin Heintze, Jon G Riecke - 2001
32 Type-driven Defunctionalization – Jeffrey M. Bell, Fran├žoise Bellegarde, James Hook - 1997
50 The cartesian product algorithm – O Agesen - 1995
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
102 Compiling with Types – Greg Morrisett - 1995
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
7 Functioning without closure: Type-safe customized function representations for Standard ML – Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells - 2001
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
14 Control Flow Analysis of Higher Order Languages – O Shivers - 1991