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

103 Compiling with Types – Greg Morrisett - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
Compiling Standard ML to Java – Simon Gammage, An Essay - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
36 Typed Cross-Module Compilation – Zhong Shao - 1998
64 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996