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:226 - 35 self

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
Compiling with Types – unknown authors
Compiling Standard ML to Java – Simon Gammage, An Essay - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
34 Typed Cross-Module Compilation – Zhong Shao - 1998
60 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
89 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997