Search
Skip to Search Results
Filter
Subject / Keyword
Author / Creator / Contributor
Year
Collections
Languages
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