15-312 Foundations of Programming Languages
Lecture 17: Bidirectional Typing

Reading: Supplementary Notes
Previous lecture: Subtyping
Next lecture: Records

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning