|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Guillaume Martres |
Pathless Scala: a calculus for the rest of Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021, pp. 12-21, 2021, ACM, 978-1-4503-9113-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham |
Safe object initialization, abstractly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021, pp. 33-43, 2021, ACM, 978-1-4503-9113-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux |
Implementing path-dependent GADT reasoning for Scala 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021, pp. 22-32, 2021, ACM, 978-1-4503-9113-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták |
Safer exceptions for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021, pp. 1-11, 2021, ACM, 978-1-4503-9113-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Merritt |
ONNX-Scala: typeful, functional deep learning / Dotty meets an open AI standard (open-source talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 33, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eva Darulova |
Towards a sound approximating compiler for numerical kernels (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 1, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shadaj Laddad, Koushik Sen |
ScalaPy: seamless Python interoperability for cross-platform Scala programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 2-13, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guido Salvaneschi, Nada Amin (eds.) |
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![ACM, 978-1-4503-8177-2 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadreza Ashouri |
Kaizen: a scalable concolic fuzzing tool for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 25-32, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky |
Semantics-preserving inlining for metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 14-24, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Reynold Xin |
Spark and Scala (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 1, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Parreaux, Amir Shaikhha, Christoph E. Koch |
Squid: type-safe, hygienic, and reusable quasiquotes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 56-66, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Nystrom |
A Scala framework for supercompilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 18-28, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger |
Making collection operations optimal with aggressive JIT compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 29-40, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leo Osvald, Tiark Rompf |
Rust-like borrowing with 2nd-class values (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 13-17, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Immanuel Brachthäuser, Philipp Schuster |
Effekt: extensible algebraic effects in Scala (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 67-72, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heather Miller, Philipp Haller, Ondrej Lhoták (eds.) |
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![ACM The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kroll, Paris Carbone, Seif Haridi |
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 73-77, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Martres |
Interactive development using the Dotty compiler (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 41-44, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abel Nieto |
Towards algorithmic typing for DOT (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 2-7, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tongfei Chen |
Typesafe abstractions for tensor operations (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 45-50, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adelbert Chang |
The limitations of type classes as subtyped implicits (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 8-12, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Anthony M. Sloane |
ScalaSMT: satisfiability modulo theory in Scala (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017, pp. 51-55, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georg Ofenbeck, Tiark Rompf, Markus Püschel |
RandIR: differential testing for embedded compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 21-30, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki |
Semantics-driven interoperability between Scala.js and JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 85-94, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser |
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 65-74, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi |
SecureScala: Scala embedding of secure computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 75-84, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anthony M. Sloane, Franck Cassez, Scott Buckley |
The sbt-rats parser generator plugin for Scala (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 110-113, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mikaël Mayer, Ravichandhran Madhavan |
A Scala library for testing student assignments on concurrent programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 1-10, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker |
Scaps: type-directed API search for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 95-104, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Guillaume Martres, Dmitry Petrashko |
Implementing higher-kinded types in Dotty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 51-60, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fengyun Liu |
A generic algorithm for checking exhaustivity of pattern matching (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 61-64, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tiark Rompf |
Reflections on LMS: exploring front-end alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 41-50, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi |
Reactive Async: expressive deterministic concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 11-20, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
Building a modular static analysis framework in Scala (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 105-109, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Stefan Schmid, Viktor Kuncak |
SMT-based checking of predicate-qualified types for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 31-40, 2016, ACM, 978-1-4503-4648-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche (eds.) |
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![ACM, 978-1-4503-4648-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|