: Polymorphism, dynamic typing, subtyping, intersection types, and laziness .
Through SML, students implement the concepts they learn in theory. They write interpreters—programs that run other programs. By building a mini-language inside SML, students cement their understanding of scoping, binding, and evaluation. 15-312 foundations of programming languages
Inductive/coinductive types, subtyping, intersection types, and inheritance. The Student Experience: SML and Proofs and laziness . Through SML
The guiding philosophy is By the end of the semester, students realize that a compiler is not just a translator; it is a proof checker. students cement their understanding of scoping