Login / Signup
SCALA@ECOOP
2013
2016
2019
2022
2013
2022
Keyphrases
Publications
2022
Olivier Blanvillain
Type-safe regular expressions.
SCALA@ECOOP
(2022)
Yaoyu Zhao
,
Ondrej Lhoták
Explicit nulls with unsafe nulls.
SCALA@ECOOP
(2022)
Philipp Haller
Enhancing closures in scala 3 with spores3.
SCALA@ECOOP
(2022)
Jamie Willis
,
Nicolas Wu
Design patterns for parser combinators in scala.
SCALA@ECOOP
(2022)
Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, Berlin, Germany, 6 June 2022
SCALA@ECOOP
(2022)
2019
Alceste Scalas
,
Nobuko Yoshida
,
Elias Benussi
Effpi: verified message-passing programs in Dotty.
SCALA@ECOOP
(2019)
Jonas De Bleser
,
Dario Di Nucci
,
Coen De Roover
SoCRATES: Scala radar for test smells.
SCALA@ECOOP
(2019)
Konstantin Läufer
,
John O'Sullivan
,
George K. Thiruvathukal
Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.
SCALA@ECOOP
(2019)
Lionel Parreaux
,
Aleksander Boruch-Gruszecki
,
Paolo G. Giarrusso
Towards improved GADT reasoning in Scala.
SCALA@ECOOP
(2019)
Alex Jeffery
Dependent object types with implicit functions.
SCALA@ECOOP
(2019)
2014
Ivan Kuraj
,
Viktor Kuncak
SciFe: Scala framework for efficient enumeration of data structures with invariants.
SCALA@ECOOP
(2014)
Aggelos Biboudis
,
Eugene Burmako
MorphScala: safe class morphing with macros.
SCALA@ECOOP
(2014)
Aleksandar Prokopec
,
Philipp Haller
,
Martin Odersky
Containers and aggregates, mutators and isolates for reactive programming.
SCALA@ECOOP
(2014)
Manuel Weiel
,
Ingo Maier
,
Sebastian Erdweg
,
Michael Eichberg
,
Mira Mezini
Towards virtual traits in Scala.
SCALA@ECOOP
(2014)
Evgenii Kotelnikov
Type-directed language extension for effectful computations.
SCALA@ECOOP
(2014)
Cédric Bastin
,
Vlad Ureche
,
Martin Odersky
ScalaDyno: making name resolution and type checking fault-tolerant.
SCALA@ECOOP
(2014)
Martin Ring
,
Christoph Lüth
Real-time collaborative Scala development with Clide.
SCALA@ECOOP
(2014)
Jiansen He
,
Philip Wadler
,
Philip W. Trinder
Typecasting actors: from Akka to TAkka.
SCALA@ECOOP
(2014)
Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014
SCALA@ECOOP
(2014)
Eric Béguet
,
Manohar Jonnalagedda
Accelerating parser combinators with macros.
SCALA@ECOOP
(2014)
2013
Sandro Stucki
,
Nada Amin
,
Manohar Jonnalagedda
,
Tiark Rompf
What are the Odds?: probabilistic programming in Scala.
SCALA@ECOOP
(2013)
Hubert Plociniczak
Scalad: an interactive type-level debugger.
SCALA@ECOOP
(2013)
Sébastien Doeraene
,
Peter Van Roy
A new concurrency model for Scala based on a declarative dataflow core.
SCALA@ECOOP
(2013)
Eugene Burmako
Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming.
SCALA@ECOOP
(2013)
Daniel Kröni
,
Raphael Schweizer
Parsing graphs: applying parser combinators to graph traversals.
SCALA@ECOOP
(2013)
Christoph Höger
,
Martin Zuber
Towards a tight integration of a functional web client language into Scala.
SCALA@ECOOP
(2013)
Nicolas Stucki
,
Vlad Ureche
Bridging islands of specialized code using macros and reified types.
SCALA@ECOOP
(2013)
Lukas Stadler
,
Gilles Duboscq
,
Hanspeter Mössenböck
,
Thomas Würthinger
,
Doug Simon
An experimental study of the influence of dynamic compiler optimizations on Scala performance.
SCALA@ECOOP
(2013)
Régis Blanc
CafeSat: a modern SAT solver for Scala.
SCALA@ECOOP
(2013)
Paolo G. Giarrusso
Open GADTs and declaration-site variance: a problem statement.
SCALA@ECOOP
(2013)
Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013
SCALA@ECOOP
(2013)
André van Delft
Dataflow constructs for a language extension based on the algebra of communicating processes.
SCALA@ECOOP
(2013)
Régis Blanc
,
Viktor Kuncak
,
Etienne Kneuss
,
Philippe Suter
An overview of the Leon verification system: verification by translation to recursive functions.
SCALA@ECOOP
(2013)