2

• polymorphism -- inheritance and delegation
• idioms -- realizing concrete types
• patterns -- a catalogue of design patterns
• events -- the reactor pattern

Additional keywords and phrases: generic types, assertions, canonical classes, event-driven computation