‪Matthew Lutze‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	23	23
h-index	2	2
i10-index	1	1

0

12

6

20212022202320241 5 11 6

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Magnus MadsenAarhus UniversityVerified email at cs.au.dk
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Philipp SchusterUniversity of TübingenVerified email at uni-tuebingen.de
Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyVerified email at b-studios.de
Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityVerified email at cs.au.dk

Matthew Lutze

Matthew Lutze

Aarhus University

Verified email at cs.au.dk - Homepage

Programming Languages Type Systems Effect Systems


Title Sort by citations Sort by year Sort by 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	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	3	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

The system can't perform the operation now. Try again later.

Articles 1–4