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.
Representing Monads with Capabilities
by Jonathan Brachthäuser, Aleksander Boruch-Gruszecki, and Martin Odersky
Technical report. Higher-Order Programming with Effects (HOPE), 2021.
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.
Programming with Implicit Values, Functions, and Control
by Jonathan Immanuel Brachthäuser and Daan Leijen
Technical report MSR-TR-2019-7. Microsoft Research, 2019.
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.
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.
Analysis Strategies for Software Product Lines
by Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake
Technical report FIN-004-2012. School of Computer Science, University of Magdeburg, 2012.
A Variability-Aware Module System
by Christian Kästner, Klaus Ostermann, and Sebastian Erdweg
Technical report 01/2012. Department of Mathematics and Computer Science, Philipps University Marburg, 2012.
Variability Mining with LEADT
by Christian Kästner, Alexander Dreiling, and Klaus Ostermann
Technical report 01/2011. Department of Mathematics and Computer Science, Philipps University Marburg, 2011.