Module: Types & Abstraction
Overview
Types manage complexity by capturing essential properties of a collection of individuals. Types are an important example of the more general notion of abstraction. This teaching module explains types and other forms of abstraction. Specifically, it covers the following questions and topics.
- Typing rules
- Different forms of abstraction