Matthew Lutze

Ph.D. Student
Programming Language Group
Department of Computer Science
Aarhus Univerity

Turing 217
mlutze@cs.au.dk

DBLP • Google Scholar

Research Interests

My research interests include type and effect systems, type inference, and subtyping. I am a contributor to the Flix programming language, which I work on with my advisor Magnus Madsen.

Publications

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

Academic Service


Teaching