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
]
fp@cs
Frank Pfenning
|