
Registered user since Wed 3 Aug 2016
Name:Jonathan Immanuel Brachthäuser
Country:Germany
Affiliation:University of Tübingen
Personal website:http://se.informatik.uni-tuebingen.de
Twitter:https://twitter.com/__protected
GitHub:https://github.com/b-studios
Research interests:Algebraic Effects, Effect Handlers, Effect Systems, Continuations, CPS
Contributions
PLDI 2022 | (ICFP 2020) Compiling effect handlers in capability-passing style A Typed Continuation-Passing Translation for Lexical Effect Handlers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile