A Typed Intermediate Language for Flow-Directed Compilation (1997)

by J. B. Wells , Allyn Dimock , Robert Muller , Franklyn Turbak
Citations:22 - 13 self

Active Bibliography

5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
102 Compiling with Types – Greg Morrisett - 1995
34 Typed Cross-Module Compilation – Zhong Shao - 1998
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
25 Typed Common Intermediate Format – Zhong Shao - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
65 Flexible representation analysis – Zhong Shao - 1997
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
Harvard University – Allyn Dimock, Ian Westmacott, Robert Muller, J. B. Wells, Jeffrey Considine
2 An overview of Types in Compilation – Xavier Leroy - 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
11 Branching Types – J. B. Wells, Christian Haack - 2002
16 On the Runtime Complexity of Type-Directed Unboxing – Yasuhiko Minamide, Jacques Garrigue - 1998
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995