![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Jonathan Immanuel Brachth"
@article{DBLP:journals/corr/abs-2402-12637, author = {Ishan Bhanuka and Lionel Parreaux and David Binder and Jonathan Immanuel Brachth{\"{a}}user}, title = {Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference}, journal = {CoRR}, volume = {abs/2402.12637}, year = {2024} }
@article{DBLP:journals/pacmpl/BhanukaPBB23, author = {Ishan Bhanuka and Lionel Parreaux and David Binder and Jonathan Immanuel Brachth{\"{a}}user}, title = {Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {431--459}, year = {2023} }
@article{DBLP:journals/pacmpl/LutzeMSB23, author = {Matthew Lutze and Magnus Madsen and Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user}, title = {With or Without You: Programming with Effect Exclusion}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{ICFP}}, pages = {448--475}, year = {2023} }
@article{DBLP:journals/pacmpl/MullerSBO23, author = {Marius M{\"{u}}ller and Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user and Klaus Ostermann}, title = {Back to Direct Style: Typed and Tight}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA1}}, pages = {848--875}, year = {2023} }
@article{DBLP:journals/pacmpl/MullerSSOB23, author = {Marius M{\"{u}}ller and Philipp Schuster and Jonathan Lindegaard Starup and Klaus Ostermann and Jonathan Immanuel Brachth{\"{a}}user}, title = {From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {941--970}, year = {2023} }
@article{DBLP:journals/toplas/BoruchGruszeckiOLLB23, author = {Aleksander Boruch{-}Gruszecki and Martin Odersky and Edward Lee and Ondrej Lhot{\'{a}}k and Jonathan Immanuel Brachth{\"{a}}user}, title = {Capturing Types}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {45}, number = {4}, pages = {21:1--21:52}, year = {2023} }
@article{DBLP:journals/corr/abs-2311-07480, author = {Edward Lee and Yaoyu Zhao and James You and Kavin Satheeskumar and Ondrej Lhot{\'{a}}k and Jonathan Immanuel Brachth{\"{a}}user}, title = {Qualifying System F-sub}, journal = {CoRR}, volume = {abs/2311.07480}, year = {2023} }
@article{DBLP:journals/pacmpl/BlanvillainBKO22, author = {Olivier Blanvillain and Jonathan Immanuel Brachth{\"{a}}user and Maxime Kjaer and Martin Odersky}, title = {Type-level programming with match types}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{POPL}}, pages = {1--24}, year = {2022} }
@article{DBLP:journals/pacmpl/BrachthauserSLB22, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster and Edward Lee and Aleksander Boruch{-}Gruszecki}, title = {Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA1}}, pages = {1--30}, year = {2022} }
@inproceedings{DBLP:conf/esop/SchusterBO22, author = {Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user and Klaus Ostermann}, title = {Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style}, booktitle = {{ESOP}}, series = {Lecture Notes in Computer Science}, volume = {13240}, pages = {492--519}, publisher = {Springer}, year = {2022} }
@inproceedings{DBLP:conf/pldi/SchusterB0O22, author = {Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user and Marius M{\"{u}}ller and Klaus Ostermann}, title = {A typed continuation-passing translation for lexical effect handlers}, booktitle = {{PLDI}}, pages = {566--579}, publisher = {{ACM}}, year = {2022} }
@article{DBLP:journals/corr/abs-2207-03402, author = {Martin Odersky and Aleksander Boruch{-}Gruszecki and Edward Lee and Jonathan Immanuel Brachth{\"{a}}user and Ondrej Lhot{\'{a}}k}, title = {Scoped Capabilities for Polymorphic Effects}, journal = {CoRR}, volume = {abs/2207.03402}, year = {2022} }
@inproceedings{DBLP:conf/gpce/StuckiBO21, author = {Nicolas Stucki and Jonathan Immanuel Brachth{\"{a}}user and Martin Odersky}, title = {Multi-stage programming with generative and analytical macros}, booktitle = {{GPCE}}, pages = {110--122}, publisher = {{ACM}}, year = {2021} }
@inproceedings{DBLP:conf/pppj/StuckiBO21, author = {Nicolas Stucki and Jonathan Immanuel Brachth{\"{a}}user and Martin Odersky}, title = {Virtual ADTs for portable metaprogramming}, booktitle = {{MPLR}}, pages = {36--44}, publisher = {{ACM}}, year = {2021} }
@inproceedings{DBLP:conf/scala/OderskyBBLL21, author = {Martin Odersky and Aleksander Boruch{-}Gruszecki and Jonathan Immanuel Brachth{\"{a}}user and Edward Lee and Ondrej Lhot{\'{a}}k}, title = {Safer exceptions for Scala}, booktitle = {SCALA@SPLASH}, pages = {1--11}, publisher = {{ACM}}, year = {2021} }
@article{DBLP:journals/corr/abs-2105-11896, author = {Aleksander Boruch{-}Gruszecki and Jonathan Immanuel Brachth{\"{a}}user and Edward Lee and Ondrej Lhot{\'{a}}k and Martin Odersky}, title = {Tracking Captured Variables in Types}, journal = {CoRR}, volume = {abs/2105.11896}, year = {2021} }
@phdthesis{DBLP:phd/dnb/Brachthauser20, author = {Jonathan Immanuel Brachth{\"{a}}user}, title = {Design and Implementation of Effect Handlers for Object-Oriented Programming Languages}, school = {University of T{\"{u}}bingen, Germany}, year = {2020} }
@article{DBLP:journals/jfp/BrachthauserSO20, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster and Klaus Ostermann}, title = {Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala}, journal = {J. Funct. Program.}, volume = {30}, pages = {e8}, year = {2020} }
@article{DBLP:journals/pacmpl/BrachthauserSO20, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster and Klaus Ostermann}, title = {Effects as capabilities: effect handlers and lightweight effect polymorphism}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {126:1--126:30}, year = {2020} }
@article{DBLP:journals/pacmpl/SchusterBO20, author = {Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user and Klaus Ostermann}, title = {Compiling effect handlers in capability-passing style}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{ICFP}}, pages = {93:1--93:28}, year = {2020} }
@article{DBLP:journals/pacmpl/XieBHSL20, author = {Ningning Xie and Jonathan Immanuel Brachth{\"{a}}user and Daniel Hillerstr{\"{o}}m and Philipp Schuster and Daan Leijen}, title = {Effect handlers, evidently}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{ICFP}}, pages = {99:1--99:29}, year = {2020} }
@inproceedings{DBLP:books/sp/22/Brachthauser22, author = {Jonathan Immanuel Brachth{\"{a}}user}, title = {What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style}, booktitle = {Denert Award}, pages = {15--43}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/scala/2019, editor = {Jonathan Immanuel Brachth{\"{a}}user and Sukyoung Ryu and Nathaniel Nystrom}, title = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019}, publisher = {{ACM}}, year = {2019} }
@article{DBLP:journals/pacmpl/BrachthauserSO18, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster and Klaus Ostermann}, title = {Effect handlers for the masses}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{OOPSLA}}, pages = {111:1--111:27}, year = {2018} }
@inproceedings{DBLP:conf/icfp/SchusterB18, author = {Philipp Schuster and Jonathan Immanuel Brachth{\"{a}}user}, title = {Typing, representing, and abstracting control: functional pearl}, booktitle = {TyDe@ICFP}, pages = {14--24}, publisher = {{ACM}}, year = {2018} }
@inproceedings{DBLP:conf/scala/BrachthauserS17, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster}, title = {Effekt: extensible algebraic effects in Scala (short paper)}, booktitle = {SCALA@SPLASH}, pages = {67--72}, publisher = {{ACM}}, year = {2017} }
@inproceedings{DBLP:conf/oopsla/BrachthauserRO16, author = {Jonathan Immanuel Brachth{\"{a}}user and Tillmann Rendel and Klaus Ostermann}, title = {Parsing with first-class derivatives}, booktitle = {{OOPSLA}}, pages = {588--606}, publisher = {{ACM}}, year = {2016} }
@inproceedings{DBLP:conf/pppj/HirzelBK16, author = {Matthias Hirzel and Jonathan Immanuel Brachth{\"{a}}user and Herbert Klaeren}, title = {Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code}, booktitle = {{PPPJ}}, pages = {11:1--11:12}, publisher = {{ACM}}, year = {2016} }
@inproceedings{DBLP:conf/oopsla/RendelBO14, author = {Tillmann Rendel and Jonathan Immanuel Brachth{\"{a}}user and Klaus Ostermann}, title = {From object algebras to attribute grammars}, booktitle = {{OOPSLA}}, pages = {377--395}, publisher = {{ACM}}, year = {2014} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.