conf.researchr.org / 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: https://se.cs.uni-tuebingen.de
X (Twitter): https://x.com/__protected
GitHub: https://github.com/b-studios
Research interests:Algebraic Effects, Effect Handlers, Effect Systems, Continuations, CPS
Contributions
2024
SPLASH
2023
SPLASH
- Author of From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers within the OOPSLA-track
- Author of Back to Direct Style: Typed and Tight within the OOPSLA-track
- Author of Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference within the OOPSLA-track
- Hybridisation Co-Chair in Organizing Committee