|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
25
|
Typed Common Intermediate Format
– Zhong Shao
- 1997
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
58
|
Implementing Typed Intermediate Languages
– Zhong Shao, Christopher League, Stefan Monnier
- 1998
|
|
1
|
Parameterized Signatures and Higher-Order Modules
– Zhong Shao
- 1998
|
|
25
|
Transparent Modules with Fully Syntactic Signatures
– Zhong Shao
- 1999
|
|
13
|
Optimal Type Lifting
– Bratin Saha, Zhong Shao
- 1998
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
3
|
Translucent Sums: AFoundation for Higher-Order Module Systems
– Mark Lillibridge, John Reynolds
- 1997
|
|
53
|
Translucent Sums: A Foundation for Higher-Order Module Systems
– Mark Lillibridge
- 1997
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
146
|
Typed closure conversion
– Yasuhiko Minamide, Greg Morrisett, Robert Harper
- 1996
|
|
10
|
Full Lifting of Type Parameters
– Yasuhiko Minamide
- 1997
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
|
9
|
Hierarchical Modularity And Intermodule Optimization
– Matthias Blume
- 1997
|
