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 | 20 | 2022 |
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 | 4 | 2023 |
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 | | 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 |
Scientists and Code: Programming as a Tool C Berger, M Lutze, N Elmqvist, M Madsen, CN Klokmose Plateau Workshop, 0 | | |