## References

- [1] C# Language Specification, Version 5.0. 2015.
- [2] International Standard ISO/IEC 14882:2017(E) - Programming Language C++. 2017.
- [3] Kotlin Language Documentation, v. 1.2. 2018.
- [4] Moez A. AbdelGawad. Novel uses of category theory in modeling OOP (extended abstract). Accepted (but unpublished) at The Nordic Workshop on Programming Theory (NWPT’17), Turku, Finland (Full version preprint available at http://arxiv.org/abs/1709.08056), 2017.
- [5] Moez A. AbdelGawad. Towards a Java subtyping operad. Proceedings of FTfJP’17, Barcelona, Spain (Extended version preprint available at http://arxiv.org/abs/1706.00274), 2017.
- [6] Moez A. AbdelGawad. Doubly F-bounded generics. eprint available at http://arxiv.org/abs/1808.06052, 2018.
- [7] Moez A. AbdelGawad. Induction, coinduction, and fixed points: A concise comparative survey. eprint available at http://arxiv.org/abs/1812.10026, 2018.
- [8] Moez A. AbdelGawad. Java subtyping as an infinite self-similar partial graph product. eprint available at http://arxiv.org/abs/1805.06893, 2018.
- [9] Moez A. AbdelGawad. Partial Cartesian graph product. eprint available at http://arxiv.org/abs/1805.07155, 2018.
- [10] Moez A. AbdelGawad. Towards taming Java wildcards and extending Java with interval types. eprint available at http://arxiv.org/abs/1805.10931, 2018.
- [11] Moez A. AbdelGawad. Induction, coinduction, and fixed points in pl type theory. available at http://arxiv.org/abs/1903.05126, 2019.
- [12] Moez A. AbdelGawad. Java generics: An order-theoretic approach (detailed outline). eprint available at http://arxiv.org/abs/1906.03937, 2019.
- [13] Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java prog. lang. In OOPSLA’98, volume 33, October 1998.
- [14] Nicholas Cameron, Sophia Drossopoulou, and Erik Ernst. A model for Java with wildcards. In ECOOP’08, 2008.
- [15] Nicholas Cameron, Erik Ernst, and Sophia Drossopoulou. Towards an existential types model for Java wildcards. FTfJP’07, 2007.
- [16] Peter S. Canning, William R. Cook, Walter L. Hill, J. Mitchell, and W. Olthoff. F-bounded polymorphism for object-oriented programming. In Proc. of Conf. on Functional Programming Languages and Computer Architecture, 1989.
- [17] Robert Cartwright and Jr. Steele, Guy L. Compatible genericity with run-time types for the Java prog. lang. In OOPSLA’98, volume 33, October 1998.
- [18] B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 2nd edition, 2002.
- [19] Brendan Fong and David Spivak. Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Draft, 2018.
- [20] James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison-Wesley, 2005.
- [21] James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Alex Buckley, and Daniel Smith. The Java Language Specification. Addison-Wesley, 2018.
- [22] Ben Greenman, Fabian Muehlboeck, and Ross Tate. Getting F-bounded polymorphism into shape. In PLDI’14, 2014.
- [23] Angelika Langer. The Java generics FAQ, 2015. http://www.angelikalanger.com/GenericsFAQ/.
- [24] Martin Odersky. The Scala language specification, v. 2.9, 2014.
- [25] Hilary A. Priestley. Ordered sets and complete lattices: A primer for computer science. In Alg. and Coalg. Methods in the Math. of Program Construction, chapter 2, pages 21–78. Springer, 2002.
- [26] David Spivak. Category theory for the sciences. MIT Press, 2014.
- [27] Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, and Sophia Drossopoulou. Towards a semantic model for Java wildcards. FTfJP’10, 2010.
- [28] Ross Tate, Alan Leung, and Sorin Lerner. Taming wildcards in Java’s type system. PLDI’11, June 4–8, San Jose, CA, USA., 2011.
- [29] Kresten Krab Thorup and Mads Torgersen. Unifying genericity. In ECOOP 99–Object-Oriented Programming, pages 186–204. Springer, 1999.
- [30] Mads Torgersen, Erik Ernst, and Christian Plesner Hansen. Wild FJ. In Foundations of Object-Oriented Languages, 2005.
- [31] Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, and Neal Gafter. Adding wildcards to the Java programming language. In SAC, 2004.

Comments

There are no comments yet.