Journal Article Transparent and Opaque Interpretations of Datatypes 1998 Crary K, Harper R, Cheng P, Petersen L, Stone C
Conference Foundations for the implementation of higher-order subtyping 1997 • ACM Sigplan Notices • 125-135 Crary K
Journal Article Foundations for the Implementation of Higher-Order Subtyping 1997 • ACM Sigplan Notices • 32(8):125-132 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