|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
|
Type- and Flow-Directed Compilation for Specialized Data Representations
– Allyn Dimock
- 2002
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
|
10
|
Full Lifting of Type Parameters
– Yasuhiko Minamide
- 1997
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
13
|
Optimal Type Lifting
– Bratin Saha, Zhong Shao
- 1998
|
|
74
|
Flexible Type Analysis
– Karl Crary, Stephanie Weirich
- 1999
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
4
|
A New One-Pass Transformation into Monadic Normal Form
– Olivier Danvy
- 2003
|
|
10
|
Certifying Compilation for Standard ML in a Type Analysis Framework
– Leaf Eames Petersen, Karl Crary, Peter Lee
- 2005
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
5
|
Programming Language Semantics in Foundational Type Theory
– K. Crary
- 1996
|
|
83
|
A Type System for Expressive Security Policies
– David Walker
- 2000
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
3
|
Type-checking Injective Pure Type Systems
– Gilles Barthe
- 1993
|
|
37
|
An Interpretation of Standard ML in Type Theory
– Robert Harper, Christopher Stone
- 1997
|
