An Overview of the FLINT/ML Compiler (1997)

Cached

Download Links

by Zhong Shao
Venue:In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation
Citations:90 - 17 self

Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
1097 Proof-Carrying Code – George C. Necula - 1997
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
363 Towards a theory of type structure – J C Reynolds - 1974
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
102 Compiling with Types – Greg Morrisett - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
625 Compiling With Continuations – A W Appel - 1992
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
141 Compiling with Proofs – George Ciprian Necula - 1998
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
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993