15312 Foundations Of Programming Languages

4.5/5

Weekly or bi-weekly assignments involving both written proofs and implementing language features in SML. 15312 foundations of programming languages

A robust programming language is built on two primary pillars: Syntax and Semantics. Syntax (The Form) 15312 foundations of programming languages

The rules the compiler checks before running the code (e.g., type checking). 15312 foundations of programming languages

Rules specify exactly how an expression transitions into a value, step-by-step.

Semantics explains how a program behaves. There are three main approaches taught in 15312: