|
eCommons@Cornell >
Browsing by Author "Crary, Karl"
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Apr-1998 | Admissibility of Fixpoint Induction over Partial Types | Crary, Karl |
| Nov-1997 | From System F to Typed Assembly Language (Extended Version) | Morrisett, Greg; Walker, David; Crary, Karl; Glew, Neal |
| 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 |
| Aug-1998 | Type-Theoretic Methodology for Practical Programming Languages | Crary, Karl |
| 2-Feb-2000 | Typed Memory Management in a Calculus of Capabilities | Walker, David; Crary, Karl; Morrisett, Greg |
Showing results 1 to 7 of 7
|
