Research
Current Research Areas
Compiling with Continuations
We develop novel strategies to efficient implement advanced control-flow structuring mechanisms.
More about this projectLexical Effect Handlers
The focus of this project is to study how to integrate the programming abstraction of effect handlers into general purpose programming languages.
More about this projectType- and Effect Systems
We develop type- and effect systems that support lightweight forms of effect polymorphism and that can be integrated into existing programming languages.
More about this project- Multi-Stage Programming
- Type-level Programming
- Regression Testing
- Parsing with Derivatives
- Algebra Composition
The Effekt Language
The language Effekt attempts to close the gap between research languages with effect handlers and languages for working programmers. The design of Effekt revolves around a different view of effects and effect types. Traditionally, effect types express which side effects a computation might have. In Effekt, effect types express which capabilities a computation requires from its context. This new point in the design space simplifies the treatment of effect polymorphism and the related issues of effect parametricity and effect encapsulation.
We invite you to experiment with the language on the Effekt homepage.
Language Homepage PublicationsRecent Publications
Below we list a few recent publications. More publications can be found in the full list of publications.Tracing Just-in-time Compilation for Effects and Handlers
by Marcial Gaißert, Carl-Friedrich Bolz-Tereick, and Jonathan Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
Dynamic Wind for Effect Handlers
by David Voigt, Philipp Schuster, and Jonathan Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
Multiple Resumptions and Local Mutable State, Directly
by Serkan Muhcu, Philipp Schuster, Michel Steuwer, and Jonathan Brachthäuser
In Proceedings of the International Conference on Functional Programming (ICFP), 2025.
The Simple Essence of Monomorphization
by Matthew Lutze, Philipp Schuster, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
by Philipp Schuster, Marius Müller, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2025.