15312 Foundations Of Programming Languages //free\\ [Limited Time]

CMU 15-312: Decoding the Foundations of Programming Languages

• Imperative Programming: Focuses on describing how to perform tasks using statements that change program state.
• Object-Oriented Programming: Organizes code using objects that encapsulate data and behavior.
• Functional Programming: Emphasizes the use of pure functions, immutability, and recursion.

, which involves proving that "well-typed programs do not go wrong" through theorems like Preservation Structural Induction: Most properties in the course are proven using structural induction

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: 15312 foundations of programming languages