SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Jonathan Immanuel Brachthäuser

Registered user since Wed 3 Aug 2016

Name:Jonathan Immanuel Brachthäuser
Country:Germany
Affiliation:University of Tübingen
Research interests:Algebraic Effects, Effect Handlers, Effect Systems, Continuations, CPS

Contributions

SPLASH 2022 Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Show activities from other conferences

Using general profile