Technical Reports
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
Representing Monads with Capabilities
by Jonathan Brachthäuser, Aleksander Boruch-Gruszecki, and Martin Odersky
Technical report. Higher-Order Programming with Effects (HOPE), 2021.
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
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
Revisiting the Cake Pattern: Scaling "Scalable Component Abstractions"
by Paolo G. Giarusso and Jonathan Immanuel Brachthäuser
Technical report. Talk at Scala Symposium 2016, University of Tübingen, Germany, 2016.
Learn More