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 条
  • [11] A Note on the Unification of Sociology and Physiology
    Dexter, Lewis A.
    PSYCHIATRY, 1943, 6 (01) : 51 - 53
  • [12] CONTRAVARIANCE THROUGH ENRICHMENT
    Shulman, Michael
    THEORY AND APPLICATIONS OF CATEGORIES, 2018, 33 : 95 - 130
  • [13] A NOTE ON THE CALCULATION OF COVARIANCE AND RESOLUTION
    NOWACK, RL
    LUTTER, WJ
    GEOPHYSICAL JOURNAL-OXFORD, 1988, 95 (01): : 205 - 207
  • [14] Response to "A note on the standardized covariance"
    Andraszewicz, Sandra
    Rieskamp, Jorg
    JOURNAL OF MATHEMATICAL PSYCHOLOGY, 2017, 77 : 185 - 186
  • [15] NOTE ON ESTIMATING COVARIANCE COMPONENTS
    SEARLE, SR
    ROUNSAVI.TR
    AMERICAN STATISTICIAN, 1974, 28 (02): : 67 - 68
  • [16] A note on covariance in propagation of uncertainty
    Meyer, EF
    JOURNAL OF CHEMICAL EDUCATION, 1997, 74 (11) : 1339 - 1340
  • [17] A Note on Testing Covariance Stationarity
    Cavaliere, Giuseppe
    Taylor, A. M. Robert
    ECONOMETRIC REVIEWS, 2009, 28 (04) : 364 - 371
  • [18] A Note on the Unification of Adaptive Online Learning
    He, Wenwu
    Kwok, James Tin-Yau
    Zhu, Ji
    Liu, Yang
    IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2017, 28 (05) : 1178 - 1191
  • [19] A NOTE ON THE GEOMETRIC UNIFICATION OF GRAVITY AND ELECTROMAGNETISM
    COLEY, A
    GENERAL RELATIVITY AND GRAVITATION, 1984, 16 (05) : 459 - 464
  • [20] A note on the unification of the Akaike information criterion
    Shi, PD
    Tsai, CL
    JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-STATISTICAL METHODOLOGY, 1998, 60 : 551 - 558
12345