Journal Article Persistent triangulations 2001 • Journal of Functional Programming • 11:441-466 Blelloch G, Burch H, Crary K, Harper R, Miller G, Walkington N
Conference Safe and flexible dynamic linking of native code 2001 • Lecture Notes in Computer Science • 2071:147-176 Hicks M, Weirich S, Crary K
Conference Sound and complete elimination of singleton kinds 2001 • Lecture Notes in Computer Science • 2071:1-25 Crary K
Journal Article Toward a Practical Type Theory for Recursive Modules 2001 Dreyer DR, Harper R, Crary K
Conference Automated techniques for provably safe mobile code 2000 • Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2000 • 1:406-419 Crary K, Harper R, Lee P, Pfenning F
Conference Resource bound certification 2000 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 184-198 Crary K, Weirich S
Journal Article Typed compilation of inclusive subtyping 2000 • ACM Sigplan Notices • 35(9):68-81 Crary K
Journal Article Typed memory management via static capabilities 2000 • ACM Transactions on Programming Languages and Systems • 22(4):701-771 Walker D, Crary K, Morrisett G
Conference A simple proof technique for certain parametricity results 1999 • ACM Sigplan Notices • 34(9):82-89 Crary K
Journal Article A simple proof technique for certain parametricity results 1999 • ACM Sigplan Notices • 34(9):82-89 Crary K
Journal Article From system F to typed assembly language 1999 • ACM Transactions on Programming Languages and Systems • 21(3):527-568 Morrisett G, Walker D, Crary K, Glew N
Journal Article Intensional polymorphism in type-erasure semantics 1999 • ACM Sigplan Notices • 34(1):301-309 Crary K, Weirich S, Morrisett G
Conference Type structure for low-level programming languages 1999 • Lecture Notes in Computer Science • 1644 LNCS:40-54 Crary K, Morrisett G
Journal Article Typed memory management in a calculus of capabilities 1999 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 262-275 Crary K, Walker D, Morrisett G
Journal Article What is a recursive module? 1999 • ACM Sigplan Notices • 34(5):50-63 Crary K, Harper R, Puri S
Journal Article What is a recursive module? 1999 • ACM Sigplan Notices • 50-63 Crary K, Harper R, Puri S
Conference Admissibility of fixpoint induction over partial types 1998 • Lecture Notes in Computer Science • 1421:270-285 Crary K
Conference From system F to typed assembly language 1998 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 85-97 Morrisett G, Walker D, Crary K, Glew N
Journal Article Intensional polymorphism in type-erasure semantics 1998 • ACM Sigplan Notices • 301-312 Crary K, Weirich S, Morrisett G
Chapter Programming Language Semantics in Foundational Type Theory 1998 • IFIP Advances in Information and Communication Technology • 107-125 Crary K
Conference Stack-based typed assembly language 1998 • Lecture Notes in Computer Science • 1473:28-52 Morrisett G, Crary K, Glew N, Walker D
