Covariance and contravariance (computer science) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Covariance and contravariance (computer science)" in English language version.

refsWebsite

Global rank English rank

9psu.edu

207^th place

136^th place

6doi.org

2^nd place

2ethz.ch

2,224^th place

1,900^th place

2msdn.com

3,029^th place

2,272^nd place

2cornell.edu

332^nd place

246^th place

2microsoft.com

153^rd place

151^st place

1cmu.edu

1,564^th place

1,028^th place

1lucacardelli.name

low place

1drdobbs.com

7,788^th place

5,521^st place

1dartlang.org

low place

1semanticscholar.org

11^th place

8^th place

1ecma-international.org

6,722^nd place

4,967^th place

1scala-lang.org

low place

1web.archive.org

1^st place

1parleys.com

low place

1lampepfl.ch

low place

1artima.com

low place

9,195^th place

1oracle.com

1,514^th place

1,024^th place

1arxiv.org

69^th place

59^th place

1harvard.edu

18^th place

17^th place

artima.com

Venners, Bill; Sommers, Frank (May 18, 2009). "The Purpose of Scala's Type System: A Conversation with Martin Odersky, Part III". Retrieved 16 August 2016.

arxiv.org

Grigore, Radu (2017). "Java generics are turing complete". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17). pp. 73–85. arXiv:1605.05274. Bibcode:2016arXiv160505274G. ISBN 9781450346603.

cmu.edu

cs.cmu.edu

Reynolds, John C. (1981). The Essence of Algol. Symposium on Algorithmic Languages. North-Holland.

cornell.edu

cs.cornell.edu

Tate, Ross (2013). "Mixed-Site Variance". FOOL '13: Informal Proceedings of the 20th International Workshop on Foundations of Object-Oriented Languages. CiteSeerX 10.1.1.353.4691.
Tate, Ross; Leung, Alan; Lerner, Sorin (2011). "Taming wildcards in Java's type system". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI '11). pp. 614–627. CiteSeerX 10.1.1.739.5439. ISBN 9781450306638.

dartlang.org

"Fixing Common Type Problems". Dart Programming Language.

doi.org

Cardelli, Luca (1984). A semantics of multiple inheritance (PDF). Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27–29, 1984). Lecture Notes in Computer Science. Vol. 173. Springer. pp. 51–67. doi:10.1007/3-540-13346-1_2. ISBN 3-540-13346-1.
Longer version: — (February 1988). "A semantics of multiple inheritance". Information and Computation. 76 (2/3): 138–164. CiteSeerX 10.1.1.116.1298. doi:10.1016/0890-5401(88)90007-7.
Castagna, Giuseppe (May 1995). "Covariance and contravariance: conflict without a cause". ACM Transactions on Programming Languages and Systems. 17 (3): 431–447. CiteSeerX 10.1.1.115.5992. doi:10.1145/203095.203096. S2CID 15402223.
Altidor, John; Shan, Huang Shan; Smaragdakis, Yannis (2011). "Taming the wildcards: combining definition- and use-site variance". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI'11). ACM. pp. 602–613. CiteSeerX 10.1.1.225.8265. doi:10.1145/1993316.1993569. ISBN 9781450306638.
Odersky, Martin; Zenger, Matthias (2005). "Scalable component abstractions" (PDF). Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '05). ACM. pp. 41–57. CiteSeerX 10.1.1.176.5313. doi:10.1145/1094811.1094815. ISBN 1595930310.
Igarashi, Atsushi; Viroli, Mirko (2002). "On Variance-Based Subtyping for Parametric Types". Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP '02). Lecture Notes in Computer Science. Vol. 2374. pp. 441–469. CiteSeerX 10.1.1.66.450. doi:10.1007/3-540-47993-7_19. ISBN 3-540-47993-7.
Thorup, Kresten Krab; Torgersen, Mads (1999). "Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes". Object-Oriented Programming (ECOOP '99). Lecture Notes in Computer Science. Vol. 1628. Springer. pp. 186–204. CiteSeerX 10.1.1.91.9795. doi:10.1007/3-540-48743-3_9. ISBN 3-540-48743-3.

drdobbs.com

Allison, Chuck. "What's New in Standard C++?".

ecma-international.org

"Section II.9.7". ECMA International Standard ECMA-335 Common Language Infrastructure (CLI) (6th ed.). June 2012.

ethz.ch

se.ethz.ch

Bertrand Meyer (October 1995). "Static Typing" (PDF). OOPSLA 95 (Object-Oriented Programming, Systems, Languages and Applications), Atlanta, 1995.
Howard, Mark; Bezault, Eric; Meyer, Bertrand; Colnet, Dominique; Stapf, Emmanuel; Arnout, Karine; Keller, Markus (April 2003). "Type-safe covariance: Competent compilers can catch all catcalls" (PDF). Retrieved 23 May 2013.

harvard.edu

ui.adsabs.harvard.edu

Grigore, Radu (2017). "Java generics are turing complete". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17). pp. 73–85. arXiv:1605.05274. Bibcode:2016arXiv160505274G. ISBN 9781450346603.

lampepfl.ch

Odersky, Martin; Zenger, Matthias (2005). "Scalable component abstractions" (PDF). Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '05). ACM. pp. 41–57. CiteSeerX 10.1.1.176.5313. doi:10.1145/1094811.1094815. ISBN 1595930310.

lucacardelli.name

Cardelli, Luca (1984). A semantics of multiple inheritance (PDF). Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27–29, 1984). Lecture Notes in Computer Science. Vol. 173. Springer. pp. 51–67. doi:10.1007/3-540-13346-1_2. ISBN 3-540-13346-1.
Longer version: — (February 1988). "A semantics of multiple inheritance". Information and Computation. 76 (2/3): 138–164. CiteSeerX 10.1.1.116.1298. doi:10.1016/0890-5401(88)90007-7.

microsoft.com

msdn.microsoft.com

Func<T, TResult> Delegate - MSDN Documentation

devblogs.microsoft.com

Torgersen, Mads. "C# 9.0 on the record".

msdn.com

blogs.msdn.com

Lippert, Eric (3 December 2009). "Exact rules for variance validity". Retrieved 16 August 2016.
Lippert, Eric (October 29, 2007). "Covariance and Contravariance in C# Part Seven: Why Do We Need A Syntax At All?". Retrieved 16 August 2016.

oracle.com

docs.oracle.com

"The Java™ Tutorials, Generics (Updated), Unbounded Wildcards". Retrieved July 17, 2020.

parleys.com

Bloch, Joshua (November 2007). "The Closures Controversy [video]". Presentation at Javapolis'07. Archived from the original on 2014-02-02.{{cite web}}: CS1 maint: location (link)

psu.edu

citeseerx.ist.psu.edu

Cardelli, Luca (1984). A semantics of multiple inheritance (PDF). Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27–29, 1984). Lecture Notes in Computer Science. Vol. 173. Springer. pp. 51–67. doi:10.1007/3-540-13346-1_2. ISBN 3-540-13346-1.
Longer version: — (February 1988). "A semantics of multiple inheritance". Information and Computation. 76 (2/3): 138–164. CiteSeerX 10.1.1.116.1298. doi:10.1016/0890-5401(88)90007-7.
Franz Weber (1992). "Getting Class Correctness and System Correctness Equivalent - How to Get Covariance Right". TOOLS 8 (8th conference on Technology of Object-Oriented Languages and Systems), Dortmund, 1992. CiteSeerX 10.1.1.52.7872.
Castagna, Giuseppe (May 1995). "Covariance and contravariance: conflict without a cause". ACM Transactions on Programming Languages and Systems. 17 (3): 431–447. CiteSeerX 10.1.1.115.5992. doi:10.1145/203095.203096. S2CID 15402223.
Altidor, John; Shan, Huang Shan; Smaragdakis, Yannis (2011). "Taming the wildcards: combining definition- and use-site variance". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI'11). ACM. pp. 602–613. CiteSeerX 10.1.1.225.8265. doi:10.1145/1993316.1993569. ISBN 9781450306638.
Odersky, Martin; Zenger, Matthias (2005). "Scalable component abstractions" (PDF). Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '05). ACM. pp. 41–57. CiteSeerX 10.1.1.176.5313. doi:10.1145/1094811.1094815. ISBN 1595930310.
Tate, Ross (2013). "Mixed-Site Variance". FOOL '13: Informal Proceedings of the 20th International Workshop on Foundations of Object-Oriented Languages. CiteSeerX 10.1.1.353.4691.
Igarashi, Atsushi; Viroli, Mirko (2002). "On Variance-Based Subtyping for Parametric Types". Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP '02). Lecture Notes in Computer Science. Vol. 2374. pp. 441–469. CiteSeerX 10.1.1.66.450. doi:10.1007/3-540-47993-7_19. ISBN 3-540-47993-7.
Thorup, Kresten Krab; Torgersen, Mads (1999). "Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes". Object-Oriented Programming (ECOOP '99). Lecture Notes in Computer Science. Vol. 1628. Springer. pp. 186–204. CiteSeerX 10.1.1.91.9795. doi:10.1007/3-540-48743-3_9. ISBN 3-540-48743-3.
Tate, Ross; Leung, Alan; Lerner, Sorin (2011). "Taming wildcards in Java's type system". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI '11). pp. 614–627. CiteSeerX 10.1.1.739.5439. ISBN 9781450306638.

scala-lang.org

Odersky, Marin; Spoon, Lex (September 7, 2010). "The Scala 2.8 Collections API". Retrieved 16 August 2016.

semanticscholar.org

api.semanticscholar.org

Castagna, Giuseppe (May 1995). "Covariance and contravariance: conflict without a cause". ACM Transactions on Programming Languages and Systems. 17 (3): 431–447. CiteSeerX 10.1.1.115.5992. doi:10.1145/203095.203096. S2CID 15402223.

web.archive.org

Bloch, Joshua (November 2007). "The Closures Controversy [video]". Presentation at Javapolis'07. Archived from the original on 2014-02-02.{{cite web}}: CS1 maint: location (link)