Karl Crary
Simple, Efficient Object Encoding using Intersection Types
| Karl Crary, April 14, 1998 |
|
Type Methodology for Modern Languages and Compilers
| Karl Crary, February 24, 1998 | |
From System F to Typed Assembly Language
| Karl Crary, September 16, 1997 | |
Foundations for the Implementation of Higher-Order Subtyping: Part II
| Karl Crary, November 12, 1996 | |
Foundations for the Implementation of Higher-Order Subtyping
| Karl Crary, November 5, 1996 | |
| Advancing the Type-Theoretic Underpinnings of Practical Programming Languages |
| Karl Crary, February 1997 |
Formal Continuations and Classical Logic
| Karl Crary, March 10, 1997 | |
KML
| Karl Crary, April 30, 1996 | |