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)Share on Twitter Facebook LinkedIn Previous Next