Jonathan Immanuel Brachthäuser

Orcid: 0000-0001-9128-0391

  • University of Tübingen, Germany

According to our database1, Jonathan Immanuel Brachthäuser authored at least 27 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



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

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
Proc. ACM Program. Lang., October, 2023

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.
Proc. ACM Program. Lang., October, 2023

With or Without You: Programming with Effect Exclusion.
Proc. ACM Program. Lang., August, 2023

Back to Direct Style: Typed and Tight.
Proc. ACM Program. Lang., April, 2023

Qualifying System F-sub.
CoRR, 2023

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang., 2022

Type-level programming with match types.
Proc. ACM Program. Lang., 2022

Scoped Capabilities for Polymorphic Effects.
CoRR, 2022

A typed continuation-passing translation for lexical effect handlers.
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.
Proceedings of the Programming Languages and Systems, 2022

Tracking Captured Variables in Types.
CoRR, 2021

Safer exceptions for Scala.
Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

Virtual ADTs for portable metaprogramming.
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.
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

Design and Implementation of Effect Handlers for Object-Oriented Programming Languages.
PhD thesis, 2020

Effect handlers, evidently.
Proc. ACM Program. Lang., 2020

Compiling effect handlers in capability-passing style.
Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proc. ACM Program. Lang., 2020

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

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style.
Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020

Effect handlers for the masses.
Proc. ACM Program. Lang., 2018

Typing, representing, and abstracting control: functional pearl.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

Effekt: extensible algebraic effects in Scala (short paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code.
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.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

From object algebras to attribute grammars.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014