researchr - search publication Scala

researchr

You are not signed in
Sign in
Sign up

586 publication results matching 'Scala'

Pathless Scala: a calculus for the rest of ScalaGuillaume Martres. SCALA 2021: 12-21 [doi]
A Scala framework for supercompilationNathaniel Nystrom. SCALA 2017: 18-28 [doi]
Spark and Scala (keynote)Reynold Xin. SCALA 2017: 1 [doi]
Safer exceptions for ScalaMartin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták. SCALA 2021: 1-11 [doi]
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report
… with the definitional interpreter approach using Scala as meta-language and using … with encoding of definitional interpreters in Scala using case classes, pattern matching …
Tim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser. SCALA 2016: 65-74 [doi]
Towards improved GADT reasoning in ScalaLionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso. SCALA 2019: 12-16 [doi]
Enhancing closures in scala 3 with spores3Philipp Haller. SCALA 2022: 22-27 [doi]
SoCRATES: Scala radar for test smellsJonas De Bleser, Dario Di Nucci, Coen De Roover. SCALA 2019: 22-26 [doi]
SecureScala: Scala embedding of secure computationsMarkus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi. SCALA 2016: 75-84 [doi]
Design patterns for parser combinators in scalaJamie Willis, Nicolas Wu. SCALA 2022: 9-21 [doi]
A Scala library for testing student assignments on concurrent programmingMikaël Mayer, Ravichandhran Madhavan. SCALA 2016: 1-10 [doi]
Kaizen: a scalable concolic fuzzing tool for ScalaMohammadreza Ashouri. SCALA 2020: 25-32 [doi]
SMT-based checking of predicate-qualified types for ScalaGeorg Stefan Schmid, Viktor Kuncak. SCALA 2016: 31-40 [doi]
Effekt: extensible algebraic effects in Scala (short paper)Jonathan Immanuel Brachthäuser, Philipp Schuster. SCALA 2017: 67-72 [doi]
Extending Scala with records: design, implementation, and evaluationOlof Karlsson, Philipp Haller. SCALA 2018: 72-82 [doi]
Scaps: type-directed API search for ScalaLukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker. SCALA 2016: 95-104 [doi]
ScalaSMT: satisfiability modulo theory in Scala (tool paper)Franck Cassez, Anthony M. Sloane. SCALA 2017: 51-55 [doi]
Implementing path-dependent GADT reasoning for Scala 3Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux. SCALA 2021: 22-32 [doi]
SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021Julien Richard-Foy, Sébastien Doeraene, editors, ACM, 2021. [doi]
Building a modular static analysis framework in Scala (tool paper)Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. SCALA 2016: 105-109 [doi]

Sign in or sign up to see more results.

runs on WebDSL