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

Active Bibliography

22 A Typed Intermediate Language for Flow-Directed Compilation – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
4 A Type System Equivalent to Model Checking – Mayur Hiru Naik - 2003
Harvard University – Allyn Dimock, Ian Westmacott, Robert Muller, J. B. Wells, Jeffrey Considine
9 Program Representation Size in an Intermediate Language with Intersection and Union Types – Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, Jeffrey Considine - 2000
7 Functioning without closure: Type-safe customized function representations for Standard ML – Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells - 2001
Selective and Lightweight Closure Conversion – Paul A. Steckler, MITCHELL WAND - 1996
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
6 Space Issues in Compiling with Intersection and Union Types – Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, Jeffrey Considine - 2000
36 Tridirectional Typechecking – Joshua Dunfield, Frank Pfenning - 2004
1 Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening – Torben Amtoft, Robert Muller - 2002
102 Compiling with Types – Greg Morrisett - 1995
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett