Effects
The focus of this project is to study how to integrate the programming abstraction of effect handlers into general purpose programming languages. We investigate the integration with object-oriented programming and and explore the interaction with other modularity features, novel approaches to guarantee effect safety with the goal to make them more approachable by working programmers, as well as various implementation techniques and their impact on performance.
The project has been moved to the website of the SE group in Tübingen.
Publications
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More
A Typed Continuation-Passing Translation for Lexical Effect Handlers
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2022.
Learn More
All About That Stack: A Unified Treatment of Regions and Control Effects
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2021.
Learn More
Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Journal of Functional Programming 30: , 2020.
Learn More
Compiling Effect Handlers in Capability-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2020.
Learn More
Effect Handlers, Evidently
by Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2020.
Learn More
Effekt: Lightweight Effect Polymorphism for Handlers (Technical Report)
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2020.
Learn More
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2020.
Learn More
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages
by Jonathan Immanuel Brachthäuser
PhD thesis. University of Tübingen, Germany, 2020.
Learn More
Programming with Implicit Values, Functions, and Control
by Jonathan Immanuel Brachthäuser and Daan Leijen
Technical report MSR-TR-2019-7. Microsoft Research, 2019.
Learn More
Zero-cost Effect Handlers by Staging (Technical Report)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
Technical report. University of Tübingen, Germany, 2019.
Learn More
Effect Handlers for the Masses
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2018.
Learn More
Typing, Representing, and Abstracting Control: Functional Pearl
by Philipp Schuster and Jonathan Brachthäuser
In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2018.
Learn More
Towards Naturalistic EDSLs using Algebraic Effects
by Jonathan Immanuel Brachthäuser
In Workshop for Domain Specific Languages, Design and Implementation (DSLDI), 2017.
Learn More
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
In Proceedings of the International Symposium on Scala. ACM Press, 2017.
Learn More
