Jonathan Immanuel Brachthäuser

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 27

Top Topics

Rich Internet Applications

Attribute Grammars

Special Features

Top Venues

Proc. ACM Program. Lang.

Publications

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser
Some Terms and Conditions May Apply. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. CoRR (2024)
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
With or Without You: Programming with Effect Exclusion. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Back to Direct Style: Typed and Tight. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Capturing Types. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Qualifying System F-sub. CoRR (2023)
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. ESOP (2022)
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
Scoped Capabilities for Polymorphic Effects. CoRR (2022)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
Type-level programming with match types. Proc. ACM Program. Lang. 6 (POPL) (2022)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
A typed continuation-passing translation for lexical effect handlers. PLDI (2022)
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
Multi-stage programming with generative and analytical macros. GPCE (2021)
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
Virtual ADTs for portable metaprogramming. MPLR (2021)
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
Tracking Captured Variables in Types. CoRR (2021)
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
Safer exceptions for Scala. SCALA@SPLASH (2021)
Jonathan Immanuel Brachthäuser
What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style. Denert Award (2020)
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
Effect handlers, evidently. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Compiling effect handlers in capability-passing style. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. J. Funct. Program. 30 (2020)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effects as capabilities: effect handlers and lightweight effect polymorphism. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Philipp Schuster, Jonathan Immanuel Brachthäuser
Typing, representing, and abstracting control: functional pearl. TyDe@ICFP (2018)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
Effect handlers for the masses. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Jonathan Immanuel Brachthäuser, Philipp Schuster
Effekt: extensible algebraic effects in Scala (short paper). SCALA@SPLASH (2017)
Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code. PPPJ (2016)
Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann
Parsing with first-class derivatives. OOPSLA (2016)
Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann
From object algebras to attribute grammars. OOPSLA (2014)