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 Higher-order representation of substructural logics 2010 • ACM Sigplan Notices • 45(9):131-142 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 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
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 32-42 Swasey D, Murphy 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
