CMU 15-312 Foundations of Programming Languages

Helping students to learn all the good stuff, such as inductive and coinductive types (my favorite), polymorphic and recursive type. Check out the website of this class in 2019: 15-312.