MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 01-Dec-96 20:34:35 GMT
Content-Type: text/html
Content-Length: 816
Last-Modified: Monday, 18-Nov-96 01:17:04 GMT
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)