This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
- 211 views
- 176 downloads
The Logic of Type Specifications: Typechecking Parametric and Inclusion Polymorphism
-
- Author(s) / Creator(s)
-
Technical report TR98-01. In this paper we present a type system that combines inclusion and parametric polymorphism with behaviors (multi-methods) and precise function typing. Type declarations allow user-definable variance specification of type parameters and user-definable subtyping between types of different kind. Our approach involves use of type specification logic which translates type specifications into types. Types are computable values. Type computation of types generated by the logic results in precise function and behavior typing. As a proof of concept, a toy language with its syntax, semantics, and subject reduction theorem is presented. | TRID-ID TR98-01
-
- Date created
- 1998
-
- Subjects / Keywords
-
- Type of Item
- Report
-
- License
- Attribution 3.0 International