Self-reference
6
self-reference
-- recursive types
object semantics
-- unrolling
inheritance
-- dynamic binding
subtyping
-- inconsistencies
slide
:
Section 9.6: Self-reference