BibTeX records: Jonathan Immanuel Brachthäuser

download as .bib file

@inproceedings{DBLP:conf/gpce/StuckiBO21,
  author    = {Nicolas Stucki and
               Jonathan Immanuel Brachth{\"{a}}user and
               Martin Odersky},
  editor    = {Eli Tilevich and
               Coen De Roover},
  title     = {Multi-stage programming with generative and analytical macros},
  booktitle = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
               - 18, 2021},
  pages     = {110--122},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3486609.3487203},
  doi       = {10.1145/3486609.3487203},
  timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/gpce/StuckiBO21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/StuckiBO21,
  author    = {Nicolas Stucki and
               Jonathan Immanuel Brachth{\"{a}}user and
               Martin Odersky},
  editor    = {Herbert Kuchen and
               Jeremy Singer},
  title     = {Virtual ADTs for portable metaprogramming},
  booktitle = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
               Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
               29-30, 2021},
  pages     = {36--44},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3475738.3480717},
  doi       = {10.1145/3475738.3480717},
  timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pppj/StuckiBO21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Julien Richard{-}Foy and
               S{\'{e}}bastien Doeraene},
  title     = {Safer exceptions for Scala},
  booktitle = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International
               Symposium on Scala, Chicago, IL, USA, 17 October 2021},
  pages     = {1--11},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3486610.3486893},
  doi       = {10.1145/3486610.3486893},
  timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/scala/OderskyBBLL21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://arxiv.org/abs/2105.11896},
  eprinttype = {arXiv},
  eprint    = {2105.11896},
  timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2105-11896.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://publikationen.uni-tuebingen.de/xmlui/handle/10900/102021/},
  urn       = {urn:nbn:de:bsz:21-dspace-1020211},
  timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/dnb/Brachthauser20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1017/S0956796820000027},
  doi       = {10.1017/S0956796820000027},
  timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/BrachthauserSO20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/3408975},
  doi       = {10.1145/3408975},
  timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/SchusterBO20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/3408981},
  doi       = {10.1145/3408981},
  timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/XieBHSL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/3428194},
  doi       = {10.1145/3428194},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BrachthauserSO20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/3337932},
  doi       = {10.1145/3337932},
  isbn      = {978-1-4503-6824-7},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/scala/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/3276481},
  doi       = {10.1145/3276481},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BrachthauserSO18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchusterB18,
  author    = {Philipp Schuster and
               Jonathan Immanuel Brachth{\"{a}}user},
  editor    = {Richard A. Eisenberg and
               Niki Vazou},
  title     = {Typing, representing, and abstracting control: functional pearl},
  booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Type-Driven
               Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018},
  pages     = {14--24},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3240719.3241788},
  doi       = {10.1145/3240719.3241788},
  timestamp = {Tue, 11 Dec 2018 18:43:36 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/SchusterB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/BrachthauserS17,
  author    = {Jonathan Immanuel Brachth{\"{a}}user and
               Philipp Schuster},
  editor    = {Heather Miller and
               Philipp Haller and
               Ondrej Lhot{\'{a}}k},
  title     = {Effekt: extensible algebraic effects in Scala (short paper)},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
  pages     = {67--72},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3136000.3136007},
  doi       = {10.1145/3136000.3136007},
  timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
  biburl    = {https://dblp.org/rec/conf/scala/BrachthauserS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrachthauserRO16,
  author    = {Jonathan Immanuel Brachth{\"{a}}user and
               Tillmann Rendel and
               Klaus Ostermann},
  editor    = {Eelco Visser and
               Yannis Smaragdakis},
  title     = {Parsing with first-class derivatives},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  pages     = {588--606},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2983990.2984026},
  doi       = {10.1145/2983990.2984026},
  timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/BrachthauserRO16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/HirzelBK16,
  author    = {Matthias Hirzel and
               Jonathan Immanuel Brachth{\"{a}}user and
               Herbert Klaeren},
  editor    = {Walter Binder and
               Petr Tuma},
  title     = {Prioritizing Regression Tests for Desktop and Web-Applications based
               on the Execution Frequency of Modified Code},
  booktitle = {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 - September 2, 2016},
  pages     = {11:1--11:12},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2972206.2972222},
  doi       = {10.1145/2972206.2972222},
  timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl    = {https://dblp.org/rec/conf/pppj/HirzelBK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RendelBO14,
  author    = {Tillmann Rendel and
               Jonathan Immanuel Brachth{\"{a}}user and
               Klaus Ostermann},
  editor    = {Andrew P. Black and
               Todd D. Millstein},
  title     = {From object algebras to attribute grammars},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {377--395},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2660193.2660237},
  doi       = {10.1145/2660193.2660237},
  timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/RendelBO14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics