Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) (1997)

by Allyn Dimock , Robert Muller , Franklyn Turbak , J. B. Wells
Venue:In ICFP ’97 [ICFP97
Citations:29 - 13 self

Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
363 Towards a theory of type structure – J C Reynolds - 1974
102 Compiling with Types – Greg Morrisett - 1995
625 Compiling With Continuations – A W Appel - 1992
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
40 Henk: A Typed Intermediate Language – Simon Peyton Jones, Erik Meijer - 1997
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
22 A Typed Intermediate Language for Flow-Directed Compilation – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak - 1997
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
11 Int’l Conf. Functional Programming – Proc - 1997
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
31 Flow-Directed Closure Conversion for Typed Languages – Henry Cejtin, Suresh Jagannathan, Stephen Weeks - 2000
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993