↑↓
: If a well-typed program takes an execution step, the resulting program has the exact same type as before.
Capturing the remaining execution path of a program, allowing the implementation of custom control flows like exceptions and coroutines. 15312 foundations of programming languages
The primary vehicle for assignments in 15-312 is . SML is chosen because its features map directly to programming language theory: Strong, Static Typing: Prevents invalid states. : If a well-typed program takes an execution