Matthew Lutze

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

1. Associated Effects: Flexible Abstractions for Effectful Programming [link]
   at PLDI 2024
   by Matthew Lutze, Magnus Madsen
2. Scientists and Code: Programming as a Tool [link]
   at PLATEAU 2024
   by Caroline Berger, Matthew Lutze, Niklas Elmqvist, Magnus Madsen, Clemens Nylandsted Klokmose
3. With or Without You: Programming with Effect Exclusion [link]
   at ICFP 2023
   by Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
4. Restrictable Variants: A Simple and Practical Alternative to Extensible Variants [link]
   at ECOOP 2023
   by Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
5. On Type-Cases, Union Elimination, and Occurrence Typing [link]
   at POPL 2022
   by Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze

Academic Service

• Artifact Evaluation Reviewer at POPL 2025
• Artifact Evaluation Reviewer at PLDI 2024

Additional Interests

• Blazonry — the "programming language" of heraldry
• Music — composition, piano, organ, voice
• Constructed Languages — Lojban, Toki Pona, Ithkuil
• Natural Languages and Grammar — English, French, Danish
• (Nearly) Obsolete Communication Forms — Morse Code, runes, semaphore