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

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

Active Bibliography

618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Compiling Standard ML to Java – Simon Gammage, An Essay - 1997
103 Compiling with Types – Greg Morrisett - 1995
234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
50 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
1353 Monads for functional programming – Philip Wadler - 1995
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002