15312 Foundations Of Programming Languages

As described in CMU course materials, 15312 is designed to explore the fundamental principles underlying modern programming languages. The course focuses heavily on , using mathematical techniques to define both syntax (what a program looks like) and semantics (what a program means).

The statics of a language dictate its compile-time rules. It determines whether a program is "well-formed" or "well-typed" before it ever runs. 15312 foundations of programming languages

Which specific concept (e.g., , continuations ) do you want to explore deeper? Share public link As described in CMU course materials, 15312 is

: Practical Foundations for Programming Languages (Second Edition) by Robert Harper. Core Topics Covered It determines whether a program is "well-formed" or

Object-oriented programming is a programming paradigm that emphasizes the use of objects, classes, and inheritance. In the 15312 course, students learn about the concepts of object-oriented programming, including: