A Note on Covariance and Contravariance Unification

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 1, 1996, Pages 32-35

  Barrett, Myles F ^a   Giguere, Marshall E ^a  

^a Data Exchange Associates Inc   (United States)

Author keywords

Attribute spaces; Contravariance; Covariance; Multimethods

Indexed keywords

EID: 1542745033     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249094.249111     Document Type: Article

References (2)

1. (Cas94) Castagna G., Covariance and contravariance: conflict without a cause, Technical Report liens-94-18, LIENS, October 1994. Available by anon. ftp from ftp.ens.fr in /pub/dmi/user/castagna/covariance.dvl.Z.
2. (Cas95) Castagna G., and Leavens G. T., Foundations of Object-Oriented Languages, 2nd Workshop Report, ACM SIGPLAN NOTICES, Vol 30 No. 2 Feb 1995.