Cited By
View all- Boyland JCastagna G(2006)Type-safe compilation of covariant specialization: A practical caseECOOP ’96 — Object-Oriented Programming10.1007/BFb0053054(3-25)Online publication date: 21-May-2006
A note on covariance and contravariance unification
Abstract
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.
References
[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.dvi.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.
Index Terms
- A note on covariance and contravariance unification
Recommendations
Covariance and contravariance: conflict without a cause
In type-theoretic research on object-oriented programming, the issue of “covariance versus contravariance” is a topic of continuing debate. In this short note we argue that covariance and contravariance appropriately characterize two distinct and ...
Java Type Unification with Wildcards
Applications of Declarative Programming and Knowledge ManagementWith the introduction of Java 5.0 the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. The term
<InlineEquation ID="IEq1"> <InlineMediaObject><ImageObject FileRef="...
Polymorphic unification and ML typing
POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesWe study the complexity of type inference for a core fragment of ML with lambda abstraction, function application, and the polymorphic let declaration. Our primary technical tool is the unification problem for a class of “polymorphic” type expressions. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Jan. 1996
47 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/249094
- Editor:
- Richard L. Wexelblat
Copyright © 1996 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1996
Published in SIGPLAN Volume 31, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 315Total Downloads
- Downloads (Last 12 months)62
- Downloads (Last 6 weeks)8
Reflects downloads up to 20 Jan 2025
Other Metrics
Citations
Cited By
View all- Boyland JCastagna G(2006)Type-safe compilation of covariant specialization: A practical caseECOOP ’96 — Object-Oriented Programming10.1007/BFb0053054(3-25)Online publication date: 21-May-2006
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in