15-312 Foundations of Programming Languages
Lecture 16: Subtyping

In this lecture we discuss the basic notion of subtyping. Subtyping has two different forms, which need to be clearly distinguished: an interpretation via subsets of values, and an interpretation via coercions between members of various types. We discuss what is needed in order to obtain a sensible and practical system of subtyping, and discuss how to extend the subtyping relation throughout the whole type hierarchy.

[ Home | Schedule | Assignments | Software | Resources ]

Frank Pfenning