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

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

Documents Related by Co-Citation

300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
625 Compiling With Continuations – A W Appel - 1992
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
31 Flow-Directed Closure Conversion for Typed Languages – Henry Cejtin, Suresh Jagannathan, Stephen Weeks - 2000
32 Type-driven Defunctionalization – Jeffrey M. Bell, Fran├žoise Bellegarde, James Hook - 1997
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
16 Type-Directed Flow Analysis for Typed Intermediate Languages – Suresh Jagannathan, Stephen Weeks, Andrew Wright - 1997
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
13 P.: Higher-order uncurrying – J Hannan, Hicks - 2000
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
65 Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis – Flemming Nielson, Hanne Riis Nielson - 1997
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
1097 Proof-Carrying Code – George C. Necula - 1997