15312 Foundations Of Programming Languages Jun 2026

That cryptic "Mismatched types" error in TypeScript or MyPy is not a bug—it’s a proof failure. 15-312 teaches you to read inference rules. You learn to ask: Which typing rule did I violate?

15312 Foundations of Programming Languages 15312 foundations of programming languages