Abstract is missing.
- An overview of the Leon verification system: verification by translation to recursive functionsRégis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter. [doi]
- Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogrammingEugene Burmako. [doi]
- A new concurrency model for Scala based on a declarative dataflow coreSébastien Doeraene, Peter Van Roy. [doi]
- Towards a tight integration of a functional web client language into ScalaChristoph Höger, Martin Zuber. [doi]
- CafeSat: a modern SAT solver for ScalaRégis Blanc. [doi]
- Open GADTs and declaration-site variance: a problem statementPaolo G. Giarrusso. [doi]
- Dataflow constructs for a language extension based on the algebra of communicating processesAndré van Delft. [doi]
- What are the Odds?: probabilistic programming in ScalaSandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf. [doi]
- Scalad: an interactive type-level debuggerHubert Plociniczak. [doi]
- Parsing graphs: applying parser combinators to graph traversalsDaniel Kröni, Raphael Schweizer. [doi]
- Bridging islands of specialized code using macros and reified typesNicolas Stucki, Vlad Ureche. [doi]
- An experimental study of the influence of dynamic compiler optimizations on Scala performanceLukas Stadler, Gilles Duboscq, Hanspeter Mössenböck, Thomas Würthinger, Doug Simon. [doi]