Older Publications

• Karl Crary. Admissibility of Fixpoint Induction over Partial Types. 1998 International Conference on Automated Deduction.
  (pdf)
  Extended Version. CMU Technical Report CMU-CS-98-164. (pdf)

• Robert L. Constable and Karl Crary. Computational Complexity and Induction for Partial Computable Functions in Type Theory. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, 2002.
  (pdf)

• Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. 1998 Symposium on Principles of Programming Languages.
  (Obsolete: Current version appears in ACM TOPLAS, May 1999.)
  (pdf)

• Karl Crary. Foundations for the Implementation of Higher-Order Subtyping. 1997 International Conference on Functional Programming.
  (pdf)

• The ML2000 Working Group. Principles and a Preliminary Design for ML2000.
  (pdf)

• Karl Crary. Programming Language Semantics in Foundational Type Theory. 1998 International Conference on Programming Concepts and Methods.
  (pdf)
  Extended Version. Cornell University Technical Report TR98-1666. (pdf)

• Karl Crary. Simple, Efficient Object Encoding using Intersection Types. CMU Technical Report CMU-CS-99-100.
  (pdf)

• Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. 1999 Workshop on Compiler Support for System Software.
  (pdf)

• Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, and Chris Stone. Transparent and Opaque Interpretations of Datatypes. CMU Technical Report CMU-CS-98-177.
  (Obsolete: Superseded by ``Typed Compilation of Recursive Datatypes'' in 2003 Workshop on Types in Language Design and Implementation.)
  (ascii, pdf)

• Karl Crary, David Walker, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities.
  (Obsolete: Current version appears in ACM TOPLAS, July 2000, under the title ``Typed Memory Management via Static Capabilities.'')
  (pdf)

• Karl Crary. Type-Theoretic Methodology for Practical Programming Languages. Ph.D. Dissertation. August 1998.
  (pdf)