15-851 Computation and Deduction
Lecture 23: Parametric Subtyping

After completing the proof of type preservation and the needed inversion properties, we discuss how to add parametric polymorphism to subtyping and intersection types. There are a number of undecidability results, plus some open questions about the decidability of subtyping and type-checking.

• Reading: in preparation
• Code: in preparation
• Previous lecture: Contextual Semantics
• Next lecture: Refinement Types

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning