Programming Languages and Compilers WS 2013/14 - Slide 603b
Objectives:
Understand inclusion polymorphism
In the lecture:
- The central rule,
- OO sub-typing,
- type safe overriding,
- contravariant parameter types
Suggested reading:
Kastens / Übersetzerbau, Section 6.1
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013