Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Jonathan Immanuel Brachth"
@article{DBLP:journals/pacmpl/LeeZLYSB24, author = {Edward Lee and Yaoyu Zhao and Ondrej Lhot{\'{a}}k and James You and Kavin Satheeskumar and Jonathan Immanuel Brachth{\"{a}}user}, title = {Qualifying System F\({}_{\mbox{{\textless}:}}\) Some Terms and Conditions May Apply}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{OOPSLA1}}, pages = {583--612}, year = {2024}, url = {https://doi.org/10.1145/3649832}, doi = {10.1145/3649832}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/LeeZLYSB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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/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/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/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 = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-07480.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} }
@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} }
@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 = {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}, pages = {492--519}, year = {2022}, crossref = {DBLP:conf/esop/2022}, url = {https://doi.org/10.1007/978-3-030-99336-8\_18}, doi = {10.1007/978-3-030-99336-8\_18}, timestamp = {Tue, 07 May 2024 01:00:00 +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}, 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}, year = {2022}, crossref = {DBLP:conf/pldi/2022}, url = {https://doi.org/10.1145/3519939.3523710}, doi = {10.1145/3519939.3523710}, timestamp = {Tue, 07 May 2024 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}, 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}, year = {2021}, crossref = {DBLP:conf/gpce/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}, 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}, year = {2021}, crossref = {DBLP:conf/pppj/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}, 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}, year = {2021}, crossref = {DBLP:conf/scala/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/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 = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/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} }
@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 = {Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations}, pages = {15--43}, year = {2020}, crossref = {DBLP:books/sp/22/FHKMPRRS2022}, url = {https://doi.org/10.1007/978-3-030-83128-8\_3}, doi = {10.1007/978-3-030-83128-8\_3}, timestamp = {Tue, 07 May 2024 01:00:00 +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 = {Tue, 07 May 2024 01:00:00 +0200}, 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}, 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}, year = {2018}, crossref = {DBLP:conf/icfp/2018tyde}, url = {https://doi.org/10.1145/3240719.3241788}, doi = {10.1145/3240719.3241788}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, 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}, 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}, year = {2017}, crossref = {DBLP:conf/scala/2017}, url = {https://doi.org/10.1145/3136000.3136007}, doi = {10.1145/3136000.3136007}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, 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}, 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}, year = {2016}, crossref = {DBLP:conf/oopsla/2016}, url = {https://doi.org/10.1145/2983990.2984026}, doi = {10.1145/2983990.2984026}, timestamp = {Tue, 07 May 2024 01:00:00 +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}, 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}, year = {2016}, crossref = {DBLP:conf/pppj/2016}, url = {https://doi.org/10.1145/2972206.2972222}, doi = {10.1145/2972206.2972222}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, 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}, 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}, year = {2014}, crossref = {DBLP:conf/oopsla/2014}, url = {https://doi.org/10.1145/2660193.2660237}, doi = {10.1145/2660193.2660237}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/RendelBO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2022, editor = {Ilya Sergey}, title = {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}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99336-8}, doi = {10.1007/978-3-030-99336-8}, isbn = {978-3-030-99335-1}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/esop/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2022, editor = {Ranjit Jhala and Isil Dillig}, title = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3519939}, doi = {10.1145/3519939}, isbn = {978-1-4503-9265-5}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gpce/2021, editor = {Eli Tilevich and Coen De Roover}, title = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3486609}, doi = {10.1145/3486609}, isbn = {978-1-4503-9112-2}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/gpce/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pppj/2021, editor = {Herbert Kuchen and Jeremy Singer}, title = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed Programming Languages and Runtimes, M{\"{u}}nster, Germany, September 29-30, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3475738}, doi = {10.1145/3475738}, isbn = {978-1-4503-8675-3}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/pppj/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/scala/2021, editor = {Julien Richard{-}Foy and S{\'{e}}bastien Doeraene}, title = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on Scala, Chicago, IL, USA, 17 October 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3486610}, doi = {10.1145/3486610}, isbn = {978-1-4503-9113-9}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/scala/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:books/sp/22/FHKMPRRS2022, 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 = {Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-83128-8}, doi = {10.1007/978-3-030-83128-8}, isbn = {978-3-030-83127-1}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/books/sp/22/FHKMPRRS2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2018tyde, editor = {Richard A. Eisenberg and Niki Vazou}, title = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3240719}, doi = {10.1145/3240719}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/icfp/2018tyde.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/scala/2017, editor = {Heather Miller and Philipp Haller and Ondrej Lhot{\'{a}}k}, title = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3136000}, doi = {10.1145/3136000}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/scala/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/oopsla/2016, editor = {Eelco Visser and Yannis Smaragdakis}, title = {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}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2983990}, doi = {10.1145/2983990}, isbn = {978-1-4503-4444-9}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pppj/2016, editor = {Walter Binder and Petr Tuma}, title = {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}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2972206}, doi = {10.1145/2972206}, isbn = {978-1-4503-4135-6}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/pppj/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/oopsla/2014, editor = {Andrew P. Black and Todd D. Millstein}, title = {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}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660193}, doi = {10.1145/2660193}, isbn = {978-1-4503-2585-1}, timestamp = {Sun, 18 Aug 2024 01:46:44 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.