default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/scala:"
download as .bib file
@inproceedings{DBLP:conf/scala/Blanvillain22,
author = {Olivier Blanvillain},
title = {Type-safe regular expressions},
booktitle = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
pages = {1--8},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198.3550425},
doi = {10.1145/3550198.3550425},
timestamp = {Mon, 17 Oct 2022 15:25:43 +0200},
biburl = {https://dblp.org/rec/conf/scala/Blanvillain22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Haller22,
author = {Philipp Haller},
title = {Enhancing closures in scala 3 with spores3},
booktitle = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
pages = {22--27},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198.3550428},
doi = {10.1145/3550198.3550428},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Haller22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WillisW22,
author = {Jamie Willis and
Nicolas Wu},
title = {Design patterns for parser combinators in scala},
booktitle = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
pages = {9--21},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198.3550427},
doi = {10.1145/3550198.3550427},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/WillisW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ZhaoL22,
author = {Yaoyu Zhao and
Ondrej Lhot{\'{a}}k},
title = {Explicit nulls with unsafe nulls},
booktitle = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
pages = {28},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198.3550426},
doi = {10.1145/3550198.3550426},
timestamp = {Mon, 17 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/ZhaoL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2022,
title = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198},
doi = {10.1145/3550198},
isbn = {978-1-4503-9463-5},
timestamp = {Mon, 17 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LiuLXP21,
author = {Fengyun Liu and
Ondrej Lhot{\'{a}}k and
Enze Xing and
Nguyen Cao Pham},
editor = {Julien Richard{-}Foy and
S{\'{e}}bastien Doeraene},
title = {Safe object initialization, abstractly},
booktitle = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International
Symposium on Scala, Chicago, IL, USA, 17 October 2021},
pages = {33--43},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486610.3486895},
doi = {10.1145/3486610.3486895},
timestamp = {Tue, 30 Nov 2021 17:27:45 +0100},
biburl = {https://dblp.org/rec/conf/scala/LiuLXP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Martres21,
author = {Guillaume Martres},
editor = {Julien Richard{-}Foy and
S{\'{e}}bastien Doeraene},
title = {Pathless Scala: a calculus for the rest of Scala},
booktitle = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International
Symposium on Scala, Chicago, IL, USA, 17 October 2021},
pages = {12--21},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486610.3486894},
doi = {10.1145/3486610.3486894},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Martres21.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}
}
@inproceedings{DBLP:conf/scala/XuBP21,
author = {Yichen Xu and
Aleksander Boruch{-}Gruszecki and
Lionel Parreaux},
editor = {Julien Richard{-}Foy and
S{\'{e}}bastien Doeraene},
title = {Implementing path-dependent {GADT} reasoning for Scala 3},
booktitle = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International
Symposium on Scala, Chicago, IL, USA, 17 October 2021},
pages = {22--32},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486610.3486892},
doi = {10.1145/3486610.3486892},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/XuBP21.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 = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Ashouri20,
author = {Mohammadreza Ashouri},
editor = {Guido Salvaneschi and
Nada Amin},
title = {Kaizen: a scalable concolic fuzzing tool for Scala},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {25--32},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3428487},
doi = {10.1145/3426426.3428487},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Ashouri20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Darulova20,
author = {Eva Darulova},
editor = {Guido Salvaneschi and
Nada Amin},
title = {Towards a sound approximating compiler for numerical kernels (keynote)},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3434065},
doi = {10.1145/3426426.3434065},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Darulova20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LaddadS20,
author = {Shadaj Laddad and
Koushik Sen},
editor = {Guido Salvaneschi and
Nada Amin},
title = {ScalaPy: seamless Python interoperability for cross-platform Scala
programs},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {2--13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3428485},
doi = {10.1145/3426426.3428485},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/LaddadS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Merritt20,
author = {Alexander Merritt},
editor = {Guido Salvaneschi and
Nada Amin},
title = {ONNX-Scala: typeful, functional deep learning / Dotty meets an open
{AI} standard (open-source talk)},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {33},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3434120},
doi = {10.1145/3426426.3434120},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Merritt20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/StuckiBDO20,
author = {Nicolas Stucki and
Aggelos Biboudis and
S{\'{e}}bastien Doeraene and
Martin Odersky},
editor = {Guido Salvaneschi and
Nada Amin},
title = {Semantics-preserving inlining for metaprogramming},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {14--24},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3428486},
doi = {10.1145/3426426.3428486},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/StuckiBDO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2020,
editor = {Guido Salvaneschi and
Nada Amin},
title = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426},
doi = {10.1145/3426426},
isbn = {978-1-4503-8177-2},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/BleserNR19,
author = {Jonas De Bleser and
Dario Di Nucci and
Coen De Roover},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {SoCRATES: Scala radar for test smells},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {22--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338815},
doi = {10.1145/3337932.3338815},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/BleserNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Jeffery19,
author = {Alex Jeffery},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Dependent object types with implicit functions},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {1--11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338811},
doi = {10.1145/3337932.3338811},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/Jeffery19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LauferOT19,
author = {Konstantin L{\"{a}}ufer and
John O'Sullivan and
George K. Thiruvathukal},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Tests as maintainable assets via auto-generated spies: a case study
involving the scala collections library's iterator trait},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {17--21},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338814},
doi = {10.1145/3337932.3338814},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/LauferOT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ParreauxBG19,
author = {Lionel Parreaux and
Aleksander Boruch{-}Gruszecki and
Paolo G. Giarrusso},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Towards improved {GADT} reasoning in Scala},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {12--16},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338813},
doi = {10.1145/3337932.3338813},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ParreauxBG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ScalasYB19,
author = {Alceste Scalas and
Nobuko Yoshida and
Elias Benussi},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Effpi: verified message-passing programs in Dotty},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {27--31},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338812},
doi = {10.1145/3337932.3338812},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ScalasYB19.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}
}
@inproceedings{DBLP:conf/scala/Doeraene18,
author = {S{\'{e}}bastien Doeraene},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Cross-platform language design in Scala.js (keynote)},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {1},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3266230},
doi = {10.1145/3241653.3266230},
timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
biburl = {https://dblp.org/rec/conf/scala/Doeraene18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Donham18,
author = {Jacob Donham},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {A domain-specific language for microservices},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {2--12},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241654},
doi = {10.1145/3241653.3241654},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Donham18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HongPR18,
author = {Jaemin Hong and
Jihyeok Park and
Sukyoung Ryu},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Path dependent types with path-equality},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {35--39},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241657},
doi = {10.1145/3241653.3241657},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/HongPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/KabirL18,
author = {Ifaz Kabir and
Ondrej Lhot{\'{a}}k},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {{\(\kappa\)}DOT: scaling {DOT} with mutation and constructors},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {40--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241659},
doi = {10.1145/3241653.3241659},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/KabirL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/KarlssonH18,
author = {Olof Karlsson and
Philipp Haller},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Extending Scala with records: design, implementation, and evaluation},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {72--82},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241661},
doi = {10.1145/3241653.3241661},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/KarlssonH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LiuBO18,
author = {Fengyun Liu and
Aggelos Biboudis and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Initialization patterns in Dotty},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {51--55},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241662},
doi = {10.1145/3241653.3241662},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/LiuBO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ShabalinO18,
author = {Denys Shabalin and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Interflow: interprocedural flow-sensitive type inference and method
duplication},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {61--71},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241660},
doi = {10.1145/3241653.3241660},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ShabalinO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/StuckiGO18,
author = {Nicolas Stucki and
Paolo G. Giarrusso and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Truly abstract interfaces for algebraic data types: the extractor
typing problem},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {56--60},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241658},
doi = {10.1145/3241653.3241658},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/StuckiGO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/VerbitskaiaKNG18,
author = {Ekaterina Verbitskaia and
Ilya Kirillov and
Ilya Nozkin and
Semyon V. Grigorev},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Parser combinators for context-free path querying},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {13--23},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241655},
doi = {10.1145/3241653.3241655},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/VerbitskaiaKNG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WillisW18,
author = {Jamie Willis and
Nicolas Wu},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Garnishing parsec with parsley},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {24--34},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241656},
doi = {10.1145/3241653.3241656},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/WillisW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2018,
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653},
doi = {10.1145/3241653},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/2018.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, 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/scala/CassezS17,
author = {Franck Cassez and
Anthony M. Sloane},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {ScalaSMT: satisfiability modulo theory in Scala (tool paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {51--55},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136004},
doi = {10.1145/3136000.3136004},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/CassezS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Chang17,
author = {Adelbert Chang},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {The limitations of type classes as subtyped implicits (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {8--12},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136006},
doi = {10.1145/3136000.3136006},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Chang17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Chen17,
author = {Tongfei Chen},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Typesafe abstractions for tensor operations (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {45--50},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136001},
doi = {10.1145/3136000.3136001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Chen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/KrollCH17,
author = {Lars Kroll and
Paris Carbone and
Seif Haridi},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Kompics Scala: narrowing the gap between algorithmic specification
and executable code (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {73--77},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136009},
doi = {10.1145/3136000.3136009},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/KrollCH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Martres17,
author = {Guillaume Martres},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Interactive development using the Dotty compiler (tool paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {41--44},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136012},
doi = {10.1145/3136000.3136012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Martres17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Nieto17,
author = {Abel Nieto},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Towards algorithmic typing for {DOT} (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {2--7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136003},
doi = {10.1145/3136000.3136003},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Nieto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Nystrom17,
author = {Nathaniel Nystrom},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {A Scala framework for supercompilation},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {18--28},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136011},
doi = {10.1145/3136000.3136011},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Nystrom17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OsvaldR17,
author = {Leo Osvald and
Tiark Rompf},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Rust-like borrowing with 2nd-class values (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {13--17},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136010},
doi = {10.1145/3136000.3136010},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/OsvaldR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ParreauxSK17,
author = {Lionel Parreaux and
Amir Shaikhha and
Christoph E. Koch},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Squid: type-safe, hygienic, and reusable quasiquotes},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {56--66},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136005},
doi = {10.1145/3136000.3136005},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ParreauxSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ProkopecLDW17,
author = {Aleksandar Prokopec and
David Leopoldseder and
Gilles Duboscq and
Thomas W{\"{u}}rthinger},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Making collection operations optimal with aggressive {JIT} compilation},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {29--40},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136002},
doi = {10.1145/3136000.3136002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ProkopecLDW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Xin17,
author = {Reynold Xin},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Spark and Scala (keynote)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {1},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3148042},
doi = {10.1145/3136000.3148042},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Xin17.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 = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/DoeraeneSS16,
author = {S{\'{e}}bastien Doeraene and
Tobias Schlatter and
Nicolas Stucki},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Semantics-driven interoperability between Scala.js and JavaScript},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {85--94},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998404},
doi = {10.1145/2998392.2998404},
timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
biburl = {https://dblp.org/rec/conf/scala/DoeraeneSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HallerGES16,
author = {Philipp Haller and
Simon Geries and
Michael Eichberg and
Guido Salvaneschi},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Reactive Async: expressive deterministic concurrency},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {11--20},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998396},
doi = {10.1145/2998392.2998396},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/HallerGES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HauckSEMS16,
author = {Markus Hauck and
Savvas Savvides and
Patrick Eugster and
Mira Mezini and
Guido Salvaneschi},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {SecureScala: Scala embedding of secure computations},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {75--84},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998403},
doi = {10.1145/2998392.2998403},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/HauckSEMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LippeSPV16,
author = {Tim van der Lippe and
Thomas Smith and
Dani{\"{e}}l A. A. Pelsmaeker and
Eelco Visser},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {A scalable infrastructure for teaching concepts of programming languages
in Scala with WebLab: an experience report},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {65--74},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998402},
doi = {10.1145/2998392.2998402},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/LippeSPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Liu16,
author = {Fengyun Liu},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {A generic algorithm for checking exhaustivity of pattern matching
(short paper)},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {61--64},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998401},
doi = {10.1145/2998392.2998401},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Liu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/MayerM16,
author = {Mika{\"{e}}l Mayer and
Ravichandhran Madhavan},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {A Scala library for testing student assignments on concurrent programming},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {1--10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998395},
doi = {10.1145/2998392.2998395},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/MayerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OderskyMP16,
author = {Martin Odersky and
Guillaume Martres and
Dmitry Petrashko},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Implementing higher-kinded types in Dotty},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {51--60},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998400},
doi = {10.1145/2998392.2998400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/OderskyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OfenbeckRP16,
author = {Georg Ofenbeck and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {RandIR: differential testing for embedded compilers},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {21--30},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998397},
doi = {10.1145/2998392.2998397},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/OfenbeckRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Rompf16,
author = {Tiark Rompf},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Reflections on {LMS:} exploring front-end alternatives},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {41--50},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998399},
doi = {10.1145/2998392.2998399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Rompf16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/SchmidK16,
author = {Georg Stefan Schmid and
Viktor Kuncak},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {SMT-based checking of predicate-qualified types for Scala},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {31--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998398},
doi = {10.1145/2998392.2998398},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/SchmidK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/SloaneCB16,
author = {Anthony M. Sloane and
Franck Cassez and
Scott Buckley},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {The sbt-rats parser generator plugin for Scala (tool paper)},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {110--113},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.3001580},
doi = {10.1145/2998392.3001580},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/SloaneCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/StievenartNMR16,
author = {Quentin Sti{\'{e}}venart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Building a modular static analysis framework in Scala (tool paper)},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {105--109},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.3001579},
doi = {10.1145/2998392.3001579},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/StievenartNMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WegmannMSS16,
author = {Lukas Wegmann and
Farhad Mehta and
Peter Sommerlad and
Mirko Stocker},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Scaps: type-directed {API} search for Scala},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {95--104},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998405},
doi = {10.1145/2998392.2998405},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/WegmannMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2016,
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392},
doi = {10.1145/2998392},
isbn = {978-1-4503-4648-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlancK15,
author = {R{\'{e}}gis Blanc and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {Sound reasoning about integral data types with a reusable {SMT} solver
interface},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {35--40},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774980},
doi = {10.1145/2774975.2774980},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BlancK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JonnalageddaS15,
author = {Manohar Jonnalagedda and
Sandro Stucki},
editor = {Philipp Haller and
Heather Miller},
title = {Fold-based fusion as a library: a generative programming pearl},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {41--50},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774981},
doi = {10.1145/2774975.2774981},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/JonnalageddaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MetraillerM15,
author = {Christopher M{\'{e}}trailler and
Pierre{-}Andr{\'{e}} Mudry},
editor = {Philipp Haller and
Heather Miller},
title = {ESPeciaL: an embedded systems programming language},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {51--55},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774982},
doi = {10.1145/2774975.2774982},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MetraillerM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Premont15,
author = {Patrick Pr{\'{e}}mont},
editor = {Philipp Haller and
Heather Miller},
title = {Referential integrity with Scala types},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {30--34},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774979},
doi = {10.1145/2774975.2774979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Premont15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Prokopec15,
author = {Aleksandar Prokopec},
editor = {Philipp Haller and
Heather Miller},
title = {SnapQueue: lock-free queue with constant time snapshots},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {1--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774976},
doi = {10.1145/2774975.2774976},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Prokopec15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SuterTM15,
author = {Philippe Suter and
Olivier Tardieu and
Josh Milthorpe},
editor = {Philipp Haller and
Heather Miller},
title = {Distributed programming in Scala with {APGAS}},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {13--17},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774977},
doi = {10.1145/2774975.2774977},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SuterTM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VoirolKK15,
author = {Nicolas Voirol and
Etienne Kneuss and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {Counter-example complete verification for higher-order functions},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {18--29},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774978},
doi = {10.1145/2774975.2774978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/VoirolKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015scala,
editor = {Philipp Haller and
Heather Miller},
title = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975},
doi = {10.1145/2774975},
isbn = {978-1-4503-3626-0},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2015scala.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BastinUO14,
author = {C{\'{e}}dric Bastin and
Vlad Ureche and
Martin Odersky},
editor = {Philipp Haller and
Heather Miller},
title = {ScalaDyno: making name resolution and type checking fault-tolerant},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {1--5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637649},
doi = {10.1145/2637647.2637649},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BastinUO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BeguetJ14,
author = {Eric B{\'{e}}guet and
Manohar Jonnalagedda},
editor = {Philipp Haller and
Heather Miller},
title = {Accelerating parser combinators with macros},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {7--17},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637653},
doi = {10.1145/2637647.2637653},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BeguetJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BiboudisB14,
author = {Aggelos Biboudis and
Eugene Burmako},
editor = {Philipp Haller and
Heather Miller},
title = {MorphScala: safe class morphing with macros},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {18--22},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637650},
doi = {10.1145/2637647.2637650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BiboudisB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeWT14,
author = {Jiansen He and
Philip Wadler and
Philip W. Trinder},
editor = {Philipp Haller and
Heather Miller},
title = {Typecasting actors: from Akka to TAkka},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {23--33},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637651},
doi = {10.1145/2637647.2637651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HeWT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Kotelnikov14,
author = {Evgenii Kotelnikov},
editor = {Philipp Haller and
Heather Miller},
title = {Type-directed language extension for effectful computations},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {35--43},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637648},
doi = {10.1145/2637647.2637648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Kotelnikov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KurajK14,
author = {Ivan Kuraj and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {SciFe: Scala framework for efficient enumeration of data structures
with invariants},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {45--49},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637655},
doi = {10.1145/2637647.2637655},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KurajK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ProkopecHO14,
author = {Aleksandar Prokopec and
Philipp Haller and
Martin Odersky},
editor = {Philipp Haller and
Heather Miller},
title = {Containers and aggregates, mutators and isolates for reactive programming},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {51--61},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637656},
doi = {10.1145/2637647.2637656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ProkopecHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RingL14,
author = {Martin Ring and
Christoph L{\"{u}}th},
editor = {Philipp Haller and
Heather Miller},
title = {Real-time collaborative Scala development with Clide},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {63--66},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637652},
doi = {10.1145/2637647.2637652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RingL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WeielMEEM14,
author = {Manuel Weiel and
Ingo Maier and
Sebastian Erdweg and
Michael Eichberg and
Mira Mezini},
editor = {Philipp Haller and
Heather Miller},
title = {Towards virtual traits in Scala},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {67--75},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637654},
doi = {10.1145/2637647.2637654},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/WeielMEEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014scala,
editor = {Philipp Haller and
Heather Miller},
title = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647},
doi = {10.1145/2637647},
isbn = {978-1-4503-2868-5},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2014scala.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Blanc13,
author = {R{\'{e}}gis Blanc},
title = {CafeSat: a modern {SAT} solver for Scala},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {2:1--2:4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489839},
doi = {10.1145/2489837.2489839},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Blanc13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BlancKKS13,
author = {R{\'{e}}gis Blanc and
Viktor Kuncak and
Etienne Kneuss and
Philippe Suter},
title = {An overview of the Leon verification system: verification by translation
to recursive functions},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489838},
doi = {10.1145/2489837.2489838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BlancKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Burmako13,
author = {Eugene Burmako},
title = {Scala macros: let our powers combine!: on how rich syntax and static
types work with metaprogramming},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489840},
doi = {10.1145/2489837.2489840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Burmako13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Delft13,
author = {Andr{\'{e}} van Delft},
title = {Dataflow constructs for a language extension based on the algebra
of communicating processes},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489849},
doi = {10.1145/2489837.2489849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Delft13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DoeraeneR13,
author = {S{\'{e}}bastien Doeraene and
Peter Van Roy},
title = {A new concurrency model for Scala based on a declarative dataflow
core},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489841},
doi = {10.1145/2489837.2489841},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DoeraeneR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Giarrusso13,
author = {Paolo G. Giarrusso},
title = {Open GADTs and declaration-site variance: a problem statement},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {5:1--5:4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489842},
doi = {10.1145/2489837.2489842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Giarrusso13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HogerZ13,
author = {Christoph H{\"{o}}ger and
Martin Zuber},
title = {Towards a tight integration of a functional web client language into
Scala},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489843},
doi = {10.1145/2489837.2489843},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HogerZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KroniS13,
author = {Daniel Kr{\"{o}}ni and
Raphael Schweizer},
title = {Parsing graphs: applying parser combinators to graph traversals},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489844},
doi = {10.1145/2489837.2489844},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KroniS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Plociniczak13,
author = {Hubert Plociniczak},
title = {Scalad: an interactive type-level debugger},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {8:1--8:4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489845},
doi = {10.1145/2489837.2489845},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Plociniczak13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StadlerDMWS13,
author = {Lukas Stadler and
Gilles Duboscq and
Hanspeter M{\"{o}}ssenb{\"{o}}ck and
Thomas W{\"{u}}rthinger and
Doug Simon},
title = {An experimental study of the influence of dynamic compiler optimizations
on Scala performance},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {9:1--9:8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489846},
doi = {10.1145/2489837.2489846},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/StadlerDMWS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StuckiAJR13,
author = {Sandro Stucki and
Nada Amin and
Manohar Jonnalagedda and
Tiark Rompf},
title = {What are the Odds?: probabilistic programming in Scala},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489848},
doi = {10.1145/2489837.2489848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/StuckiAJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StuckiU13,
author = {Nicolas Stucki and
Vlad Ureche},
title = {Bridging islands of specialized code using macros and reified types},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {10:1--10:4},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489847},
doi = {10.1145/2489837.2489847},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/StuckiU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013scala,
title = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837},
doi = {10.1145/2489837},
isbn = {978-1-4503-2064-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2013scala.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.
retrieved on 2025-01-15 13:19 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
