Could you please clarify which one you are looking for before I provide a post? 15-312: Foundations of Programming Languages (Fall 2023)
At its heart, 15312 is a course in and Operational Semantics . It moves away from the "black box" approach of using a compiler and instead teaches students how to build a language from the ground up using mathematical logic. 15312 foundations of programming languages
Syntax tells you what is written . Semantics tells you what it does . Could you please clarify which one you are
Languages like Java and C++ use subtyping (a Cat is an Animal ). The 15-312 treatment includes: 15312 foundations of programming languages