Journal Article A focused solution to the avoidance problem 2020 • Journal of Functional Programming • 30: Crary K
Journal Article Fully Abstract Module Compilation 2019 • Proceedings of the ACM on Programming Languages • 3: Crary K
Conference Hygienic Source-Code Generation Using Functors 2018 • Lecture Notes in Computer Science • 10702:53-60 Crary K
Conference Strong Sums in Focused Logic 2018 • Proceedings - Symposium on Logic in Computer Science • 265-274 Crary K
Conference TWAM: A Certifying Abstract Machine for Logic Programs 2018 • Lecture Notes in Computer Science • 11294:112-134 Bohrer B, Crary K
Conference Modules, Abstraction, and Parametric Polymorphism 2017 • ACM Sigplan Notices • 52(1):100-113 Crary K
Conference A Calculus for Relaxed Memory 2015 • ACM Sigplan Notices • 50(1):623-636 Crary K, Sullivan MJ
Conference Peer-to-Peer Affine Commitment using Bitcoin 2015 • ACM Sigplan Notices • 50(6):479-488 Crary K, Sullivan MJ
Conference LF in LF: Mechanizing the metatheories of LF in twelf 2012 • LFMTP'12 - Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice • 23-32 Martens C, Crary K
Conference Higher-order Representation of Substructural Logics 2010 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 131-141 Crary K
Conference Higher-order representation of substructural logics 2010 • ACM Sigplan Notices • 45(9):131-141 Crary K
Conference Preface 2010 • Electronic Proceedings in Theoretical Computer Science • 34: Crary K, Miculan M
Preprint Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 2010 Crary K, Miculan M
Conference A syntactic account of singleton types via hereditary substitution 2009 • ACM International Conference Proceeding Series • 21-29 Crary K
Journal Article Explicit Contexts in LF (Extended Abstract) 2009 • Electronic Notes in Theoretical Computer Science • 228:53-68 Crary K
Journal Article Foundational certified code in the Twelf metalogical framework 2008 • ACM Transactions on Computational Logic • 9(3): Crary K, Sarkar S
Conference Type-safe distributed programming with ML5 2008 • Lecture Notes in Computer Science • 4912:108-+ Murphy T, Crary K, Harper R
Journal Article Sound and complete elimination of singleton kinds 2007 • ACM Transactions on Computational Logic • 8(2): Crary K
Journal Article Syntactic Logical Relations for Polymorphic and Recursive Types 2007 • Electronic Notes in Theoretical Computer Science • 172:259-299 Crary K, Harper R
Conference Towards a Mechanized Metatheory of Standard ML 2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 173-184 Lee DK, Crary K, Harper R
Journal Article Towards a mechanized metatheory of Standard ML 2007 • ACM Sigplan Notices • 42(1):173-184 Lee DK, Crary K, Harper R
Conference A separate compilation extension to Standard ML 2006 • Proceedings of the ACM SIGPLAN 2006 Workshop on ML • 2006:32-42 Swasey D, Murphy VII T, Crary K, Harper R
Journal Article A Separate Compilation Extension to Standard ML (Revised and Expanded) 2006 Swasey D, Murphy T, Crary K, Harper R
