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
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu