Publications

Recent Publications

“All About That Stack: A Unified Treatment of Regions and Control Effects”.

Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann.

Technical Report, University of Tübingen. 2021.

“Effect Handlers, Evidently”.

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen.

International Conference on Functional Programming (ICFP). 2020.

“Compiling Effect Handlers in Capability-Passing Style”.

Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann.

International Conference on Functional Programming (ICFP). 2020.

“Design and Implementation of Effect Handlers for Object-Oriented Programming Languages”.

Jonathan Immanuel Brachthäuser.

University of Tübingen (Dissertation). 2020.

“Typing, Representing, and Abstracting Control: Functional Pearl”.

Philipp Schuster and Jonathan Immanuel Brachthäuser.

International Workshop on Type-Driven Development. 2018.

“Programming with Implicit Values, Functions, and Control”.

Jonathan Immanuel Brachthäuser and Daan Leijen.

Microsoft Research (Technical Report). 2019.

“Effect Handlers for the Masses”.

Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann.

International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 2018.

“Parsing with First-Class Derivatives”.

Jonathan Immanuel Brachthäuser and Philipp Schuster.

International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 2016.

“Prioritizing Regression Tests for Desktop and Web-Applications Based on the Execution Frequency of Modified Code”.

Matthias Hirzel, Jonathan Immanuel Brachthäuser, and Herbert Klaeren.

International Conference on Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ). 2016.

“From Object Algebras to Attribute Grammars”.

Tillmann Rendel, Jonathan Immanuel Brachthäuser, and Klaus Ostermann.

International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 2014.