Jonathan Immanuel Brachthuser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. | Philipp Schuster, Jonathan Immanuel Brachthuser, Klaus Ostermann |
| 2022 | PLDI | A typed continuation-passing translation for lexical effect handlers. | Philipp Schuster, Jonathan Immanuel Brachthuser, Marius Mller, Klaus Ostermann |
| 2021 | GPCE | Multi-stage programming with generative and analytical macros. | Nicolas Stucki, Jonathan Immanuel Brachthuser, Martin Odersky |
| 2020 | SP | What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style. | Jonathan Immanuel Brachthuser |
| 2018 | ICFP | Typing, representing, and abstracting control: functional pearl. | Philipp Schuster, Jonathan Immanuel Brachthuser |
| 2016 | OOPSLA | Parsing with first-class derivatives. | Jonathan Immanuel Brachthuser, Tillmann Rendel, Klaus Ostermann |
| 2014 | OOPSLA | From object algebras to attribute grammars. | Tillmann Rendel, Jonathan Immanuel Brachthuser, Klaus Ostermann |