Teaching Type Systems Implementation with Stella

Workshop talk · TFPiE 2024 — 13th Workshop on Trends in Functional Programming in Education · January 9, 2024 · South Orange, NJ, USA

How Stella — an extensible, statically typed pedagogical language — is used to teach type-system implementation in the Advanced Compilers Construction and Program Analysis course at Innopolis University.

Slides