#
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