Matthew Lutze
Turing 217
mlutze@cs.au.dk
Research Interests
- Programming Languages — I am a contributor to the Flix programming language.
- Type Systems — type inference, subtyping, type classes
- Effect Systems — algebraic effects, Boolean unification-based effects
Publications
- OOPSLA 2025: The Simple Essence of Monomorphization
Matthew Lutze, Philipp Schuster, Jonathan Immanuel Brachthäuser - PLDI 2024: Associated Effects: Flexible Abstractions for Effectful Programming
Matthew Lutze, Magnus Madsen - PLATEAU 2024: Scientists and Code: Programming as a Tool
Caroline Berger, Matthew Lutze, Niklas Elmqvist, Magnus Madsen, Clemens Nylandsted Klokmose - ICFP 2023: With or Without You: Programming with Effect Exclusion
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser - ECOOP 2023: Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze - POPL 2022: On Type-Cases, Union Elimination, and Occurrence Typing
Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze
Academic Service
- TFP 2026: Program Committee Member
- FTfJP 2025: Program Committee Member
- POPL 2025: Artifact Evaluation Reviewer
- PLDI 2024: Artifact Evaluation Reviewer
Teaching
- Introduction to Programming: Curriculum Design (Aarhus University, 2025)
- Compilation: Teaching Assistant (Aarhus University, 2024)
- Compilation: Teaching Assistant (Aarhus University, 2023)
- Programming Languages: Teaching Assistant (Aarhus University, 2023)
- Principles of Programming Languages: Teaching Assistant (Gustavus Adolphus College, 2017)
- Introduction to Programming II: Teaching Assistant (Gustavus Adolphus College, 2016)
- Introduction to Programming I: Teaching Assistant (Gustavus Adolphus College, 2015)
