Matthew Lutze
Ph.D. Fellow
Programming Language Group
Department of Computer Science
Aarhus Univerity
Turing 217
mlutze@cs.au.dk
Research Interests
Subjects I explore professionally- 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
- With or Without You: Programming with Effect Exclusion [link]
at ICFP 2023
by Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser - Restrictable Variants: A Simple and Practical Alternative to Extensible Variants [link]
at ECOOP 2023
by Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze - On Type-Cases, Union Elimination, and Occurrence Typing [link]
at POPL 2022
by Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze
Additional Interests
Subjects I explore in my spare time- 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