//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Karl Crary

12 results


Math Book Bar-Type Rules
by Karl Crary
January 25, 2002

Publication Computational Complexity and Induction for Partial Computable Functions in Type Theory | cite »
by Robert L. Constable, Karl Crary
2002

Publication Type-Theoretic Methodology for Practical Programming Languages | cite »
by Karl Crary
1998

Seminar Simple, Efficient Object Encoding using Intersection Types
by Karl Crary
April 14, 1998

Seminar Type Methodology for Modern Languages and Compilers
by Karl Crary
February 24, 1998

Seminar From System F to Typed Assembly Language
by Karl Crary
September 16, 1997

Publication Foundations for the Implementation of Higher-Order Subtyping | cite »
by Karl Crary
1997

Seminar Formal Continuations and Classical Logic
by Karl Crary
March 10, 1997

Seminar Foundations for the Implementation of Higher-Order Subtyping: Part II
by Karl Crary
November 12, 1996

Seminar Foundations for the Implementation of Higher-Order Subtyping
by Karl Crary
November 05, 1996

Seminar Advancing the Type-Theoretic Underpinnings of Practical Programming Languages
by Karl Crary
1996-1997

Seminar KML
by Karl Crary
April 30, 1996