Layered type systems
Linking of virtual methods
Logical separation of code and content
Canada
World
United States