User:Ruud Koot: Difference between revisions

Content added Content deleted
m (typo)
(recommended reading)
Line 20: Line 20:
* [[Parametric polymorphism]]
* [[Parametric polymorphism]]
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]])
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]])

== Recommended reading ==
* [[wp:Benjamin C. Pierce|Benjamin C. Pierce]], Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg and Brent Yorgey. [http://www.cis.upenn.edu/~bcpierce/sf/ ''Software Foundations'']. University of Pennsylvania, Department of Computer and Information Science.


== External links ==
== External links ==