15312 Foundations Of Programming Languages

If a program is well-typed ( ) and takes a step ( ), the resulting program has the exact same type (

The course unfolds logically, building a complete picture of language theory from the ground up. The schedule below, based on a typical offering, shows how core concepts are introduced and expanded upon throughout the semester: 15312 foundations of programming languages