Jonathan Immanuel Brachthäuser

According to our database, Jonathan Immanuel Brachthäuser authored at least 28 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Qualifying System F_<: Some Terms and Conditions May Apply.

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2024

2023

Capturing Types.

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

ACM Trans. Program. Lang. Syst., December, 2023

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.

Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.

Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

With or Without You: Programming with Effect Exclusion.

Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., August, 2023

Back to Direct Style: Typed and Tight.

Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., April, 2023

Qualifying System F-sub.

Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

CoRR, 2023

2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

Proc. ACM Program. Lang., 2022

Type-level programming with match types.

Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky

Proc. ACM Program. Lang., 2022

Scoped Capabilities for Polymorphic Effects.

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták

CoRR, 2022

A typed continuation-passing translation for lexical effect handlers.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proceedings of the Programming Languages and Systems, 2022

2021

Tracking Captured Variables in Types.

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky

CoRR, 2021

Safer exceptions for Scala.

Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

Virtual ADTs for portable metaprogramming.

Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

Multi-stage programming with generative and analytical macros.

Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

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

Jonathan Immanuel Brachthäuser

PhD thesis, 2020

Effect handlers, evidently.

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

Proc. ACM Program. Lang., 2020

Compiling effect handlers in capability-passing style.

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

J. Funct. Program., 2020

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style.

Jonathan Immanuel Brachthäuser

Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020

2018

Effect handlers for the masses.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Proc. ACM Program. Lang., 2018

Typing, representing, and abstracting control: functional pearl.

Philipp Schuster, Jonathan Immanuel Brachthäuser

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017

Effekt: extensible algebraic effects in Scala (short paper).

Jonathan Immanuel Brachthäuser, Philipp Schuster

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

2016

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

Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

Parsing with first-class derivatives.

Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

From object algebras to attribute grammars.

Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014