6

• self-reference -- recursive types
• object semantics -- unrolling
• inheritance -- dynamic binding
• subtyping -- inconsistencies