Journal Article A monadic analysis of information flow security with mutable state 2005 • Journal of Functional Programming • 15:249-291 Crary K, Kliger A, Pfenning F
Conference Automated and certified conformance to responsiveness policies 2005 79-90 Vanderwaart JC, Crary K
Conference Distributed control flow with classical modal logic 2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3634:51-69 Murphy T, Crary K, Harper R
Conference Small proof witnesses for LF 2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3668:387-401 Sarkar S, Pientka B, Crary K
Conference A symmetric modal Lambda calculus for distributed computing 2004 • Proceedings - Symposium on Logic in Computer Science • 286-295 Murphy T, Crary K, Harper R, Pfenning F
Conference A type system for higher-order modules 2003 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 236-249 Dreyer D, Crary K, Harper R
Journal Article A type system for higher-order modules 2003 • ACM Sigplan Notices • 38(1):236-249 Dreyer D, Crary K, Harper R
Conference A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Journal Article A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Journal Article A typed interface for garbage collection 2003 • ACM Sigplan Notices • 38(3):109-122 Vanderwaart JC, Crary K
Conference A typed interface for garbage collection 2003 • ACM Sigplan Notices • 38(3):109-122 Vanderwaart JC, Crary K
Journal Article Automated techniques for provably safe mobile code 2003 • Theoretical Computer Science • 290(2):1175-1199 Colby C, Crary K, Harper R, Lee P, Pfenning F
Conference Foundational certified code in a metalogical framework 2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2741:106-120 Crary K, Sarkar S
Journal Article Stack-based typed assembly language 2003 • Journal of Functional Programming • 13(5):957-959 MORRISETT G, CRARY K, GLEW N, WALKER D
Conference Toward a foundational typed assembly language 2003 • ACM Sigplan Notices • 38(1):198-212 Crary K
Journal Article Toward a foundational typed assembly language 2003 • ACM Sigplan Notices • 38(1):198-212 Crary K
Conference Typed compilation of recursive datatypes 2003 • ACM Sigplan Notices • 38(3):98-108 Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P
Journal Article Typed compilation of recursive datatypes 2003 • ACM Sigplan Notices • 38(3):98-108 Vanderwaart JC, Crary K, Dreyer D, Harper R, Petersen L, Cheng P
Conference A Simplified Account of the Metatheory of Linear LF1 1This material is based on work supported in part by NSF grants CCR-9984812 and CCR-0121633. Any opinions, findings, and conclusions or recommendations in this publication are those of the authors... 2002 • Electronic Notes in Theoretical Computer Science • 70(2):11-28 Vanderwaart JC, Crary K
Conference An expressive, scalable type theory for certified code 2002 191-205 Crary K, Vanderwaart JC
Conference An expressive, scalable type theory for certified code 2002 • ACM Sigplan Notices • 37(9):191-205 Crary K, Vanderwaart JC
Journal Article Intensional polymorphism in type-erasure semantics 2002 • Journal of Functional Programming • 12:567-600 Crary K, Weirich S, Morrisett G
Journal Article Stack-based typed assembly language 2002 • Journal of Functional Programming • 12:43-88 Morrisett G, Crary K, Glew N, Walker D
