Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language

Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov

We report on a half-semester course focused around implementation of type systems in programming languages. The course assumes basics of classical compiler construction, in particu…