WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: Type Theory - Manpreet Singh, other e.g. Function Types, Parametric Polymorphism using Generic Programming, Weak Typing allows Casts or Type Conversion, Static Types e.g. Structural Typing (Signatures), Sum Types of Product Types, Safety via Type Checking, Derived Classes utilize Inheritence, Elementary (primitive) Data Types include byte, Algebraic Data Types in Structural Typing (Signatures), Data Types break between Elementary (primitive) Data Types, Safety strength Weak Typing, Tagged Unions aka Sum Types, Arrays/ Vectors have Homogeneous Elements, Structured (composite) Data Types include Records, Records contain Heterogeneous Elements, Data Types include Records, Subtype Polymorphism via Subclassing, Dynamic Types e.g. Duck Typing, Sets of things e.g. other, Algebraic Data Types wraps Constructor