A note on covariance and contravariance unification

被引：0
|
作者：
Barrett, MF
Giguere, ME
机构：
[1] Data Exchange Associates, Inc., Groton, MA 01450-1026
来源：
ACM SIGPLAN NOTICES | 1996年 / 31卷 / 01期
关键词：
covariance; contravariance; attribute spaces; multimethods;
D O I：
10.1145/249094.249111
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Viewing functions with arguments as defining attribute spaces leads to a consistent extension of the conventional object-oriented type system as well as suggesting a more general dispatching strategy which unites the covariant and contravariant views of function subtyping. These views are properties of a function definition, rather than mutually exclusive constraints.
引用
收藏
页码：32 / 35
页数：4
相关论文
共 50 条
12345