TIL: A Type-Directed Optimizing Compiler for ML (1995)

by David Tarditi , Greg Morrisett , Perry Cheng , Chris Stone , Robert Harper , Peter Lee
Venue:IN ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Citations:227 - 35 self

Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
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
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
625 Compiling With Continuations – A W Appel - 1992
102 Compiling with Types – Greg Morrisett - 1995
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
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
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
571 Assigning meanings to programs – R W Floyd - 1967
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998