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