Jonathan Immanuel Brachthäuser

36 papers A* 1A 3B 1C 1Journal 23Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation.
Proc. ACM Program. Lang.
Philipp Schuster, Marius Müller, Klaus Ostermann, Jonathan Immanuel Brachthäuser
2025 J jnl
Dynamic Wind for Effect Handlers.
Proc. ACM Program. Lang.
David Voigt, Philipp Schuster, Jonathan Immanuel Brachthäuser
2025 J jnl
Multiple Resumptions and Local Mutable State, Directly.
Proc. ACM Program. Lang.
Serkan Muhcu, Philipp Schuster, Michel Steuwer, Jonathan Immanuel Brachthäuser
2025 J jnl
The Simple Essence of Monomorphization.
Proc. ACM Program. Lang.
Matthew Lutze, Philipp Schuster, Jonathan Immanuel Brachthäuser
2025 J jnl
The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking.
Proc. ACM Program. Lang.
Jirí Benes, Jonathan Immanuel Brachthäuser
2025 J jnl
Tracing Just-in-Time Compilation for Effects and Handlers.
Proc. ACM Program. Lang.
Marcial Gaißert, Carl Friedrich Bolz-Tereick, Jonathan Immanuel Brachthäuser
2024 J jnl
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.
CoRR
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2024 J jnl
Qualifying System F
Proc. ACM Program. Lang.
Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser
2023 J jnl
Back to Direct Style: Typed and Tight.
Proc. ACM Program. Lang.
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2023 J jnl
Capturing Types.
ACM Trans. Program. Lang. Syst.
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2023 J jnl
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
Proc. ACM Program. Lang.
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
2023 J jnl
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.
Proc. ACM Program. Lang.
Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2023 J jnl
Qualifying System F-sub.
CoRR
Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2023 J jnl
With or Without You: Programming with Effect Exclusion.
Proc. ACM Program. Lang.
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
2022 A* conf
A typed continuation-passing translation for lexical effect handlers.
PLDI
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
2022 J jnl
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
2022 A conf
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.
ESOP
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2022 J jnl
Scoped Capabilities for Polymorphic Effects.
CoRR
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
2022 J jnl
Type-level programming with match types.
Proc. ACM Program. Lang.
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
2021 B conf
Multi-stage programming with generative and analytical macros.
GPCE
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
2021 — conf
Safer exceptions for Scala.
SCALA@SPLASH
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
2021 J jnl
Tracking Captured Variables in Types.
CoRR
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
2021 C conf
Virtual ADTs for portable metaprogramming.
MPLR
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
2020 J jnl
Compiling effect handlers in capability-passing style.
Proc. ACM Program. Lang.
Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
2020 — —
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages.
Jonathan Immanuel Brachthäuser
2020 J jnl
Effect handlers, evidently.
Proc. ACM Program. Lang.
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
2020 J jnl
Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2020 J jnl
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.
J. Funct. Program.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2020 — conf
What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style.
Denert Award
Jonathan Immanuel Brachthäuser
2019 — ed.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019.
Scala@ECOOP
Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom
2018 J jnl
Effect handlers for the masses.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann
2018 — conf
Typing, representing, and abstracting control: functional pearl.
TyDe@ICFP
Philipp Schuster, Jonathan Immanuel Brachthäuser
2017 — conf
Effekt: extensible algebraic effects in Scala (short paper).
SCALA@SPLASH
Jonathan Immanuel Brachthäuser, Philipp Schuster
2016 A conf
Parsing with first-class derivatives.
OOPSLA
Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann
2016 — conf
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code.
PPPJ
Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren
2014 A conf
From object algebras to attribute grammars.
OOPSLA
Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann