CMU 15-312 Foundations of Programming Languages
Undergraduate course, CMU SCS, 2020
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.