Peer-reviewed Publications
2024
Qualifying System F-sub
by Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2024.
Learn More2023
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 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 Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
Learn More
With or Without You: Programming with Effect Exclusion
by Matthew Lutze, Magnus Madsen, Jonathan Immanuel Brachthäuser, and Philipp Schuster
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2023.
Learn More
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
by Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023.
Learn More
Capturing Types
by Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhotak, and Jonathan Immanuel Brachthäuser
In ACM Trans. Program. Lang. Syst. (TOPLAS). Association for Computing Machinery, 2023.
Learn More2022
Type-Level Programming with Match Types
by Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, and Martin Odersky
In Proc. ACM Program. Lang. 6(POPL). Association for Computing Machinery, 2022.
Learn More
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In European Symposium on Programming (ESOP 2022), 2022.
Learn More
Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back
by Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2022.
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 Proceedings of the International Conference on Programming Language Design and Implementation (PLDI), 2022.
Learn More2021
Tracking Captured Variables in Types
by Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, and Martin Odersky
In CoRR abs/2105.11896, 2021.
Learn More
Virtual ADTs for Portable Metaprogramming
by Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
In Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pages 36–44. Association for Computing Machinery, 2021.
Learn More
Multi-Stage Programming with Generative and Analytical Macros
by Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
In Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pages 110–122. Association for Computing Machinery, 2021.
Learn More
Safer Exceptions for Scala
by Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
In Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, pages 1–11. Association for Computing Machinery, 2021.
Learn More2020
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 Proceedings of the International Conference on 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 Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2020.
Learn More
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2020.
Learn More2018
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
Effect Handlers for the Masses
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. ACM Program. Lang. 2(OOPSLA). Association for Computing Machinery, 2018.
Learn More2017
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 More2016
Prioritizing Regression Tests for Desktop and Web-Applications Based on the Execution Frequency of Modified Code
by Matthias Hirzel, Jonathan Immanuel Brachthäuser, and Herbert Klaeren
In Proc. of the Intl. Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. Association for Computing Machinery, 2016.
Learn More
Parsing with First-Class Derivatives
by Jonathan Brachthäuser, Tillmann Rendel, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2016.
Learn More2014
From Object Algebras to Attribute Grammars
by Tillmann Rendel, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), pages 377–395. ACM Press, 2014.
Learn More