15312 Foundations Of Programming Languages -

: Written by Robert Harper, this is the foundational textbook for the course. It presents a unified mathematical framework for understanding language features like types, polymorphism, and concurrency. 15-312 Course Philosophy

– Describe how a program executes step-by-step on an abstract machine. Example: “To evaluate x + 3 , first find the value of x , then add 3.” 15312 foundations of programming languages

The specific CMU course "15-312: Foundations of Programming Languages" : Written by Robert Harper, this is the

## Type Inference

Type systems are a critical component of programming languages, ensuring that programs are type-safe and free from type-related errors. In the 15312 course, students learn about the basics of type systems, including: Example: “To evaluate x + 3 , first

While many courses use "industry-standard" languages to ensure employability, 15-312 traditionally utilizes . This choice is pedagogical, not pragmatic. SML is the laboratory where the theories of the course are tested.