|
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
|
|
26
|
A Calculus with Polymorphic and Polyvariant Flow Types
– J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
|
|
39
|
From Polyvariant Flow Information to Intersection and Union Types
– Jens Palsberg , Christina Pavlopoulou
- 1998
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
13
|
Optimal Type Lifting
– Bratin Saha, Zhong Shao
- 1998
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
58
|
Implementing Typed Intermediate Languages
– Zhong Shao, Christopher League, Stefan Monnier
- 1998
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
25
|
Typed Common Intermediate Format
– Zhong Shao
- 1997
|
|
|
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
|
|
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
|
|
9
|
Branching Types
– J. B. Wells, Christian Haack
- 2002
|
|
15
|
On the Runtime Complexity of Type-Directed Unboxing
– Yasuhiko Minamide, Jacques Garrigue
- 1998
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
