Also Google Scholar is quite
successful at tracking our publication efforts.
“A Typed Continuation-Passing Translation for Lexical Effect Handlers”.
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann.
International Conference on Programming Language Design and Implementation (PLDI). 2022.
“Type-Level Programming with Match Types”.
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, and Martin Odersky.
Principles of Programming Languages (POPL). 2022.
“Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style”.
Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann.
European Symposium on Programming (ESOP). 2022.
“Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back”.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki.
International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 2022.
“What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style”.
Jonathan Immanuel Brachthäuser.
Ernst Denert Award for Software Engineering 2020. Springer International Publishing. 2022.
“Multi-Stage Programming with Generative and Analytical Macros”.
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky.
International Conference on Generative Programming: Concepts and Experiences (GPCE). 2021.
“Representing Monads with Capabilities”.
Jonathan Immanuel Brachthäuser, Aleksander Boruch-Gruszecki, and Martin Odersky.
Higher Order Programming with Effects (HOPE). 2021.
“Virtual ADTs for Portable Metaprogramming”.
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky.
International Conference on Managed Programming Languages and Runtimes. 2021.
“Safer Exceptions for Scala”.
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták.
Scala Symposium. 2021.
“Tracking Captured Variables in Types”.
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, and Martin Odersky.
CoRR abs/2105.11896. 2021.
“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.
“Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism”.
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann.
International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 2020.
“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.
“Effekt: Capability-Passing Style for Type- and Effect-Safe, Extensible Effect Handlers in Scala”.
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann.
Journal of Functional Programming (JFP). 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.
“Effekt: Extensible Algebraic Effects in Scala (Short Paper)”.
Jonathan Immanuel Brachthäuser and Philipp Schuster.
International Symposium on Scala. 2017.
“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.