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

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

Joint work with Abdelrahman Abounegm and Alexey Stepanov.

Stella is an extensible, statically typed pedagogical language designed as a teaching vehicle for type-system implementation. The paper presents Stella’s design and its use in the “Advanced Compilers Construction and Program Analysis” course at Innopolis University.

Download PDF

arXiv version

Abounegm, A., Kudasov, N., Stepanov, A. (2024). "Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language." Electronic Proceedings in Theoretical Computer Science 405, pp. 1–19. DOI: 10.4204/EPTCS.405.1.