Search dblp for Publications

export results for "Jonathan Immanuel Brachth"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics