SPLASH 2022 (series) / Jonathan Immanuel Brachthäuser
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
| SPLASH 2022 | Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile