Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/scala/BleserNR19,
  author    = {Jonas De Bleser and
               Dario Di Nucci and
               Coen De Roover},
  title     = {SoCRATES: Scala radar for test smells},
  booktitle = {SCALA@ECOOP},
  pages     = {22--26},
  publisher = {{ACM}},
  year      = {2019}
}
@inproceedings{DBLP:conf/scala/Jeffery19,
  author    = {Alex Jeffery},
  title     = {Dependent object types with implicit functions},
  booktitle = {SCALA@ECOOP},
  pages     = {1--11},
  publisher = {{ACM}},
  year      = {2019}
}
@inproceedings{DBLP:conf/scala/LauferOT19,
  author    = {Konstantin L{\"{a}}ufer and
               John O'Sullivan and
               George K. Thiruvathukal},
  title     = {Tests as maintainable assets via auto-generated spies: a case study
               involving the scala collections library's iterator trait},
  booktitle = {SCALA@ECOOP},
  pages     = {17--21},
  publisher = {{ACM}},
  year      = {2019}
}
@inproceedings{DBLP:conf/scala/ParreauxBG19,
  author    = {Lionel Parreaux and
               Aleksander Boruch{-}Gruszecki and
               Paolo G. Giarrusso},
  title     = {Towards improved {GADT} reasoning in Scala},
  booktitle = {SCALA@ECOOP},
  pages     = {12--16},
  publisher = {{ACM}},
  year      = {2019}
}
@inproceedings{DBLP:conf/scala/ScalasYB19,
  author    = {Alceste Scalas and
               Nobuko Yoshida and
               Elias Benussi},
  title     = {Effpi: verified message-passing programs in Dotty},
  booktitle = {SCALA@ECOOP},
  pages     = {27--31},
  publisher = {{ACM}},
  year      = {2019}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics