Matthew Lutze

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Positive Effects

Programming Environment

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Matthew Lutze, Magnus Madsen
Associated Effects: Flexible Abstractions for Effectful Programming. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
With or Without You: Programming with Effect Exclusion. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. ECOOP (2023)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze
On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6 (POPL) (2022)