Search dblp for Publications

export results for "toc:db/conf/scala/scala2017.bht:"

 download as .bib file

@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}
}
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.