Matthew Lutze

20212022202320241 5 11 6

Yleisessä käytössä

1 artikkeli

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Magnus MadsenAarhus UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.au.dk
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVahvistettu sähköpostiosoite verkkotunnuksessa irif.fr
Philipp SchusterUniversity of TübingenVahvistettu sähköpostiosoite verkkotunnuksessa uni-tuebingen.de
Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyVahvistettu sähköpostiosoite verkkotunnuksessa b-studios.de
Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.au.dk

Matthew Lutze

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.au.dk - Kotisivu


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–4

Sitaatteja vuodessa