Cost Semantics for Parallelism
Cost semantics is to discuss: How long do programs run (abstractly)?
Type Theory
Imperative Programming - Algol
Haskell is a dialect Algol!
Recursive Types
Recap for Product/Sum Types
Recursive Programs
Partial Functions
Parametricity - Logical Equivalence for Polymorphic Types
Hereditary Termination and Logical Equivalence Recap
Polymorphic Functional Programming
An example to start off
Basic Computational Type Theory
Family of Types
Type Theory Foundations
We can think of Type Theory as being a catalog of a variety of notions of computation. The type structure determines the “programming language features”. For...