This is a decommissioned version of ERA which is running to enable completion of migration processes. All new collections and items and all edits to existing items should go to our new ERA instance at https://ualberta.scholaris.ca - Please contact us at erahelp@ualberta.ca for assistance!
Search
Skip to Search Results
Filter
Subject / Keyword
Languages
Author / Creator / Contributor
Year
Collections
Item type
-
1998
Leontiev, Yuri, Ozsu, M. Tamer, Szafron, Duane
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...
1 - 1 of 1