Follow
Matthew Lutze
Title
Cited by
Cited by
Year
On type-cases, union elimination, and occurrence typing
G Castagna, M Laurent, K Nguyễn, M Lutze
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
242022
With or Without You: Programming with Effect Exclusion
M Lutze, M Madsen, P Schuster, JI Brachthäuser
Proceedings of the ACM on Programming Languages 7 (ICFP), 448-475, 2023
52023
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
M Madsen, JL Starup, M Lutze
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
12023
Associated Effects: Flexible Abstractions for Effectful Programming
M Lutze, M Madsen
Proceedings of the ACM on Programming Languages 8 (PLDI), 394-416, 2024
2024
Scientists and Code: Programming as a Tool
C Berger, M Lutze, N Elmqvist, M Madsen, CN Klokmose
Plateau Workshop, 2024
2024
37th European Conference on Object-Oriented Programming (ECOOP 2023)
AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact)
M Madsen, JL Starup, M Lutze
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–7