15312 Foundations Of Programming Languages Jun 2026

If you plan on being a software engineer, you might wonder why you need this level of abstraction. The benefits are long-term:

A program is a proof; a type is a logical formula. 15312 foundations of programming languages