From ML to Ada: Strongly-typed Language Interoperability via Source Translation (1993)

by Andrew Tolmach , Dino P. Oliva
Citations:65 - 3 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
102 Compiling with Types – Greg Morrisett - 1995
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
Using Program Structure to Guide Optimization in the Presence of First-Class Functions. – David Tarditi - 1994
34 Typed Cross-Module Compilation – Zhong Shao - 1998
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
Selective and Lightweight Closure Conversion – Paul A. Steckler, MITCHELL WAND - 1996
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
1 Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening – Torben Amtoft, Robert Muller - 2002