default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SCALA@ECOOP 2013: Montpellier, France
- Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013. ACM 2013, ISBN 978-1-4503-2064-1
- Régis Blanc, Viktor Kuncak
, Etienne Kneuss, Philippe Suter:
An overview of the Leon verification system: verification by translation to recursive functions. 1:1-1:10 - Régis Blanc:
CafeSat: a modern SAT solver for Scala. 2:1-2:4 - Eugene Burmako:
Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming. 3:1-3:10 - Sébastien Doeraene, Peter Van Roy:
A new concurrency model for Scala based on a declarative dataflow core. 4:1-4:10 - Paolo G. Giarrusso:
Open GADTs and declaration-site variance: a problem statement. 5:1-5:4 - Christoph Höger, Martin Zuber:
Towards a tight integration of a functional web client language into Scala. 6:1-6:5 - Daniel Kröni, Raphael Schweizer:
Parsing graphs: applying parser combinators to graph traversals. 7:1-7:4 - Hubert Plociniczak:
Scalad: an interactive type-level debugger. 8:1-8:4 - 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. 9:1-9:8 - Nicolas Stucki, Vlad Ureche:
Bridging islands of specialized code using macros and reified types. 10:1-10:4 - Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf:
What are the Odds?: probabilistic programming in Scala. 11:1-11:9 - André van Delft:
Dataflow constructs for a language extension based on the algebra of communicating processes. 12:1-12:10
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
