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
2026
2025
ICFP
SPLASH
- Author of The Simple Essence of Monomorphization within the OOPSLA-track
- Author of Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation within the OOPSLA-track
- Author of The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with flow-based variational type-checking within the OOPSLA-track
- Author of Tracing Just-in-time Compilation for Effects and Handlers within the OOPSLA-track
- Author of Dynamic Wind for Effect Handlers within the OOPSLA-track
‹Programming›
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