Registered user since Tue 5 Apr 2022

Name:Marius Müller
Affiliation:University of Tübingen

Contributions

PLDI 2022 A Typed Continuation-Passing Translation for Lexical Effect Handlers
Show activities from other conferences

Using general profile