Matthew Lutze

Postdoctoral Researcher
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, subtyping, and compilation. I am a contributor to the Flix programming language, which I work on with my advisor Magnus Madsen.

Conference 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. ICFP 2023: With or Without You: Programming with Effect Exclusion
    Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
  4. ECOOP 2023: Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
    Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
  5. POPL 2022: On Type-Cases, Union Elimination, and Occurrence Typing
    Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze

Workshop Publications

  1. FARM 2025: Type-safe Blazon: Enforcing Pedantry in Heraldic Design
    Matthew Lutze
  2. PLATEAU 2024: Scientists and Code: Programming as a Tool
    Caroline Berger, Matthew Lutze, Niklas Elmqvist, Magnus Madsen, Clemens Nylandsted Klokmose

Invited Talks

Academic Service

Teaching

Education