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

Active Bibliography

97 Compiling with Types – Greg Morrisett - 1995
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
33 Typed Cross-Module Compilation – Zhong Shao - 1998
10 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
58 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
86 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
63 Flexible representation analysis – Zhong Shao - 1997
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
The TIL/ML Compiler: Performance and Safety . . . – G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee - 1996
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
47 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
59 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
135 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
RETROSPECTIVE: TIL: A Type-Directed, Optimizing Compiler for ML – Robert Harper, Peter Lee, Carnegie Mellon
136 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
10 Programming With Types – Stephanie Claudene Weirich - 2002
1 ... : Using Nondeterministic Choice as Part of a Deterministic Calculus – Matthias Blume - 2000