Introduction to OOP: Chapter 10: Subclasses and Subtypes
Binding in Smalltalk
Dynamically typed language
All variables polymorphic - maintain their own type information
Legality of message passing not checked until run-time
(Can be tested directly by programmers if desired).
Reverse polymorphism is not a problem in dynamically typed languages.
Intro OOP, Chapter 10, Slide 15