Conference Stack-based Typed Assembly Language 1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1473:28-52 Morrisett G, Crary K, Glew N, Walker D
Journal Article Transparent and Opaque Interpretations of Datatypes 1998 Crary K, Harper R, Cheng P, Petersen L, Stone C
Journal Article Foundations for the implementation of higher-order subtyping 1997 • ACM Sigplan Notices • 32(8):125-135 Crary K
Conference Foundations for the implementation of higher-order subtyping 1997 • ACM Sigplan Notices • 32(8):125-135 Crary K
Journal Article Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice • Electronic Proceedings in Theoretical Computer Science • 34: Crary K, Miculan M
