Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation
No abstract available.
Related papers
- Teaching Software Specification (Experience Report) ICFP 2025
- Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell Haskell 2026
- Formal Autograding in a Classroom ESOP 2025
- A Compiler Approach to Scalable Concurrent-Program Design TOPLAS 1994
- Object-Oriented System Modeling with OMT OOPSLA 1992
- Software is discrete mathematics ICFP 2003
- Automated Grading of Regular Expressions ESOP 2023
- Helium, for learning Haskell Haskell 2003