sle2019/report1

SLE 2019 report:
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report

Elias Castegren, Kiko Fernandez-Reyes

• DOI: 10.1145/3357766.3359545
• T1A: Design
  • The paper primarily contributes language design techniques or decisions.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.
• T4C: Vertical Transformation
  • It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).
• T5H: Usability
  • It targets usability (developer interaction, comprehension, editing experience).

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.