Concepedia

Jonathan Immanuel Brachthäuser

JI

12

Publications

271

Citations

10

H-Index

2014

Active since

Affiliations

University of Tübingen(Current)

École Polytechnique Fédérale de Lausanne

University of Waterloo

Jonathan Immanuel Brachthäuser is an author at University of Tübingen specializing in program analysis, formal methods, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringAutomated ReasoningSoftware DesignSystem Software

Publications per year

2014–2023

12

Publications

12

Effects as capabilities: effect handlers and lightweight effect polymorphism

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2020 · 57 citations · Full text

Engineering, Computer Animation, Software Engineering +26

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

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Journal of Functional Programming · 2020 · 28 citations · Full text

Engineering, Abstract Effect Handlers, Program Analysis +15

Effect handlers, evidently

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al. · Proceedings of the ACM on Programming Languages · 2020 · 28 citations · Full text

Engineering, Verification, Visual Effect +20

Effect handlers for the masses

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2018 · 25 citations · Full text

Engineering, Software Engineering, Software Analysis +17

Compiling effect handlers in capability-passing style

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann · Proceedings of the ACM on Programming Languages · 2020 · 22 citations · Full text

Engineering, Effect Handlers, Program Analysis +11

Rows per page

1–5 of 12