![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.