Cardelli and Wegner (1985)
Expand on Strachey’s definition by adding “inclusion (or subtype) polymorphism”
Previous slide
Next slide
Back to first slide
View graphic version