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