Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Karl Crary
12 results
Bar-Type Rules
by Karl Crary
January 25, 2002
Computational Complexity and Induction for Partial Computable Functions in Type Theory
| cite »
by Robert L. Constable, Karl Crary
2002
Type-Theoretic Methodology for Practical Programming Languages
| cite »
by Karl Crary
1998
Simple, Efficient Object Encoding using Intersection Types
by Karl Crary
April 14, 1998
Type Methodology for Modern Languages and Compilers
by Karl Crary
February 24, 1998
From System F to Typed Assembly Language
by Karl Crary
September 16, 1997
Foundations for the Implementation of Higher-Order Subtyping
| cite »
by Karl Crary
1997
Formal Continuations and Classical Logic
by Karl Crary
March 10, 1997
Foundations for the Implementation of Higher-Order Subtyping: Part II
by Karl Crary
November 12, 1996
Foundations for the Implementation of Higher-Order Subtyping
by Karl Crary
November 05, 1996
Advancing the Type-Theoretic Underpinnings of Practical Programming Languages
by Karl Crary
1996-1997
KML
by Karl Crary
April 30, 1996