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.

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

Frank Pfenning