CMU 15-150 Functional Programming

Undergraduate course, CMU SCS, 2018

“Well-typed expressions are evaluated to produce values, in a manner that is guaranteed to be type-safe.” (15-150)