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