Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML (1996)

Cached

Download Links

by David Tarditi
Citations:48 - 2 self

Documents Related by Co-Citation

227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
625 Compiling With Continuations – A W Appel - 1992
102 Compiling with Types – Greg Morrisett - 1995
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
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
34 Typed Cross-Module Compilation – Zhong Shao - 1998
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
363 Towards a theory of type structure – J C Reynolds - 1974
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
192 The Java Language Specification. The Java Series – James Gosling, Bill Joy, Guy Steele - 2000