Registered user since Tue 5 Apr 2022
Name:Marius Müller
Affiliation:University of Tübingen
Contributions
| HOPE 2022 | Lift Inference for Lexical Effect Handlers with Second-Class Functions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile