eCommons@Cornell: Browsing eCommons

Browsing by Author Crary, Karl

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 3 to 7 of 7

Issue Date	Title	Author(s)
Nov-1998	Intensional Polymorphism in Type-Erasure Semantics	Crary, Karl; Weirich, Stephanie; Morrisett, Greg
Mar-1998	Programming Language Semantics in Foundational Type Theory	Crary, Karl
Apr-1998	Simple, Efficient Object Encoding using Intersection Types	Crary, Karl
2-Feb-2000	Typed Memory Management in a Calculus of Capabilities	Walker, David; Crary, Karl; Morrisett, Greg
Aug-1998	Type-Theoretic Methodology for Practical Programming Languages	Crary, Karl

Showing results 3 to 7 of 7