References

1. Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf & Sandro Stucki (2016): The Essence of Dependent Object Types. In: A List of Successes That Can Change the World. Springer, pp. 249–272, doi:10.1007/978-3-319-30936-1_14.
2. Artima, Inc. (2009): ScalaTest. http://www.scalatest.org.
3. Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield & Joe Duffy (2012): Uniqueness and reference immutability for safe parallelism. In: OOPSLA. ACM, pp. 21–40, doi:10.1145/2384616.2384619.
4. Philipp Haller, Simon Geries, Michael Eichberg & Guido Salvaneschi (2016): Reactive Async: Expressive Deterministic Concurrency. In: ACM SIGPLAN Scala Symposium. ACM, pp. 11–20, doi:10.1145/2998392.2998396.
5. Philipp Haller, Aleksandar Prokopec, Heather Miller, Viktor Klang, Roland Kuhn & Vojin Jovanovic (2012): Futures and promises. http://docs.scala-lang.org/overviews/core/futures.html.
6. Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami & Ryan R. Newton (2014): Freeze after writing: quasi-deterministic parallel programming with LVars. In: POPL. ACM, pp. 257–270, doi:10.1145/2535838.2535842.
7. Lightbend, Inc. (2009): Akka. http://akka.io/.
8. Martin Odersky & Adriaan Moors (2009): Fighting bit Rot with Types (Experience Report: Scala Collections). In: FSTTCS, LIPIcs 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 427–451, doi:10.4230/LIPIcs.FSTTCS.2009.2338.
9. Martin Odersky (2014): The Scala Language Specification Version 2.11. Available at http://www.scala-lang.org/files/archive/spec/2.11/.
10. Philip Stutz, Abraham Bernstein & William W. Cohen (2010): Signal/Collect: Graph Algorithms for the (Semantic) Web. In: ISWC. Springer, pp. 764–780, doi:10.1007/978-3-642-17746-0_48.
11. Matthew S. Tschantz & Michael D. Ernst (2005): Javari: adding reference immutability to Java. In: OOPSLA. ACM, pp. 211–230, doi:10.1145/1094811.1094828.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org