Editing Subtyping (section)

== References ==
'''Textbooks'''
{{refbegin}}
* Benjamin C. Pierce, ''Types and programming languages'', MIT Press, 2002, {{ISBN|0-262-16209-1}}, chapter 15 (subtyping of record types), 19.3 (nominal vs. structural types and subtyping), and 23.2 (varieties of polymorphism)
* C. Szyperski, D. Gruntz, S. Murer, ''Component software: beyond object-oriented programming'', 2nd ed., Pearson Education, 2002, {{ISBN|0-201-74572-0}}, pp.&nbsp;93–95 (a high-level presentation aimed at programming language users)
{{refend}}
'''Papers'''
{{refbegin}}{{Cite conference|last1=Cook|first1=William R.|last2=Hill|first2=Walter|last3=Canning|first3=Peter S.|doi=10.1145/96709.96721|title=Inheritance is not subtyping|conference=Proc. 17th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL)|pages=125–135|year=1990|isbn=0-89791-343-4|citeseerx=10.1.1.102.8635}}
* Reynolds, John C. Using category theory to design implicit conversions and generic operators. In N. D. Jones, editor, Proceedings of the Aarhus Workshop on Semantics-Directed Compiler Generation, number 94 in Lecture Notes in Computer Science. Springer-Verlag, January 1980. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994).
{{refend}}