15-312 Foundations of Programming Languages is a core computer science course at Carnegie Mellon University (CMU) that explores the mathematical principles behind programming language design, semantics, and implementation.
Master New Languages Faster: Once you understand the underlying types (sums, products, functions), every new language is just a different combination of the same fundamental building blocks. 15312 foundations of programming languages
Infers the type scheme of a given expression.