Matthew Lutze

According to our database, Matthew Lutze authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

With or Without You: Programming with Effect Exclusion.

Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., August, 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact).

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Dagstuhl Artifacts Ser., 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants.

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

On type-cases, union elimination, and occurrence typing.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze

Proc. ACM Program. Lang., 2022