topical slide(s): creative technology / new media / game development(s)

Existential types

5

hiding -- existential types
packages -- abstract data types

slide: Section 9.5: Existential types