15312: Foundations Of Programming Languages ((better))

The 15312 course covers a range of key concepts, including:

Defining exactly how a program executes via transition systems. Key Pillars of the Curriculum 1. Structural Induction 15312 foundations of programming languages