|
|
|
|
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.  |
SCALA@SPLASH  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham |
Safe object initialization, abstractly. |
SCALA@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux |
Implementing path-dependent GADT reasoning for Scala 3. |
SCALA@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták |
Safer exceptions for Scala. |
SCALA@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Merritt |
ONNX-Scala: typeful, functional deep learning / Dotty meets an open AI standard (open-source talk). |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Darulova |
Towards a sound approximating compiler for numerical kernels (keynote). |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadaj Laddad, Koushik Sen |
ScalaPy: seamless Python interoperability for cross-platform Scala programs. |
SCALA@SPLASH |
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 |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadreza Ashouri |
Kaizen: a scalable concolic fuzzing tool for Scala. |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky |
Semantics-preserving inlining for metaprogramming. |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynold Xin |
Spark and Scala (keynote). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Parreaux, Amir Shaikhha, Christoph E. Koch |
Squid: type-safe, hygienic, and reusable quasiquotes. |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathaniel Nystrom |
A Scala framework for supercompilation. |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger |
Making collection operations optimal with aggressive JIT compilation. |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Osvald, Tiark Rompf |
Rust-like borrowing with 2nd-class values (short paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Immanuel Brachthäuser, Philipp Schuster |
Effekt: extensible algebraic effects in Scala (short paper). |
SCALA@SPLASH |
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 |
SCALA@SPLASH |
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). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Martres |
Interactive development using the Dotty compiler (tool paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel Nieto |
Towards algorithmic typing for DOT (short paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tongfei Chen |
Typesafe abstractions for tensor operations (short paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adelbert Chang |
The limitations of type classes as subtyped implicits (short paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Anthony M. Sloane |
ScalaSMT: satisfiability modulo theory in Scala (tool paper). |
SCALA@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Ofenbeck, Tiark Rompf, Markus Püschel |
RandIR: differential testing for embedded compilers. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki |
Semantics-driven interoperability between Scala.js and JavaScript. |
SCALA@SPLASH |
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. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi |
SecureScala: Scala embedding of secure computations. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony M. Sloane, Franck Cassez, Scott Buckley |
The sbt-rats parser generator plugin for Scala (tool paper). |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikaël Mayer, Ravichandhran Madhavan |
A Scala library for testing student assignments on concurrent programming. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker |
Scaps: type-directed API search for Scala. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky, Guillaume Martres, Dmitry Petrashko |
Implementing higher-kinded types in Dotty. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengyun Liu |
A generic algorithm for checking exhaustivity of pattern matching (short paper). |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf |
Reflections on LMS: exploring front-end alternatives. |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi |
Reactive Async: expressive deterministic concurrency. |
SCALA@SPLASH |
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). |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Stefan Schmid, Viktor Kuncak |
SMT-based checking of predicate-qualified types for Scala. |
SCALA@SPLASH |
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 |
SCALA@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license