BibTeX records: Jonathan Immanuel Brachthäuser

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},
  url          = {https://doi.org/10.48550/arXiv.2402.12637},
  doi          = {10.48550/ARXIV.2402.12637},
  eprinttype    = {arXiv},
  eprint       = {2402.12637},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-12637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3607846},
  doi          = {10.1145/3607846},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LutzeMSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3586056},
  doi          = {10.1145/3586056},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MullerSBO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3622812},
  doi          = {10.1145/3622812},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BhanukaPBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3622831},
  doi          = {10.1145/3622831},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MullerSSOB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3618003},
  doi          = {10.1145/3618003},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BoruchGruszeckiOLLB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.48550/arXiv.2311.07480},
  doi          = {10.48550/ARXIV.2311.07480},
  eprinttype    = {arXiv},
  eprint       = {2311.07480},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-07480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3527320},
  doi          = {10.1145/3527320},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BrachthauserSLB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/3498698},
  doi          = {10.1145/3498698},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BlanvillainBKO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SchusterBO22,
  author       = {Philipp Schuster and
                  Jonathan Immanuel Brachth{\"{a}}user and
                  Klaus Ostermann},
  editor       = {Ilya Sergey},
  title        = {Region-based Resource Management and Lexical Exception Handlers in
                  Continuation-Passing Style},
  booktitle    = {Programming Languages and Systems - 31st European Symposium on Programming,
                  {ESOP} 2022, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
                  2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13240},
  pages        = {492--519},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99336-8\_18},
  doi          = {10.1007/978-3-030-99336-8\_18},
  timestamp    = {Fri, 29 Apr 2022 14:50:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SchusterBO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/SchusterB0O22,
  author       = {Philipp Schuster and
                  Jonathan Immanuel Brachth{\"{a}}user and
                  Marius M{\"{u}}ller and
                  Klaus Ostermann},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {A typed continuation-passing translation for lexical effect handlers},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {566--579},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523710},
  doi          = {10.1145/3519939.3523710},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SchusterB0O22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.48550/arXiv.2207.03402},
  doi          = {10.48550/ARXIV.2207.03402},
  eprinttype    = {arXiv},
  eprint       = {2207.03402},
  timestamp    = {Wed, 13 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-03402.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Mon, 05 Feb 2024 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}
}

@inproceedings{DBLP:books/sp/22/Brachthauser22,
  author       = {Jonathan Immanuel Brachth{\"{a}}user},
  editor       = {Michael Felderer and
                  Wilhelm Hasselbring and
                  Heiko Koziolek and
                  Florian Matthes and
                  Lutz Prechelt and
                  Ralf H. Reussner and
                  Bernhard Rumpe and
                  Ina Schaefer},
  title        = {What You See Is What You Get: Practical Effect Handlers in Capability-Passing
                  Style},
  booktitle    = {Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations},
  pages        = {15--43},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83128-8\_3},
  doi          = {10.1007/978-3-030-83128-8\_3},
  timestamp    = {Sat, 30 Sep 2023 09:32:42 +0200},
  biburl       = {https://dblp.org/rec/books/sp/22/Brachthauser22.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, 21 Mar 2023 21:02:19 +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

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.