http://www.cs.cornell.edu/Info/People/crary/papers.html
Karl Crary's papers
Papers
-
A Unified Framework for Modules and Objects and Its Application to Programming Language Design (Extended Abstract)
-
Foundations for the Implementation of Higher-Order Subtyping (Extended Abstract)
- Semantic Reconciliation of Subtyping by Inclusion and Coercion (Preliminary Draft)