15312 Foundations — Of Programming Languages [updated]

### TypeScheme

You can formally prove that a program satisfies its specification, crucial for high-assurance software (e.g., security, embedded systems). 15312 foundations of programming languages