Find out more!
References
Spores: safe, serializable closures
Functional Lineages:
Object capabilities and affine types in Scala:
Haller, Miller, and Müller. A Programming Model and Foundation for Lineage-Based
Distributed Computation. 2017. Draft: https://infoscience.epfl.ch/record/230304
Miller, Haller, and Odersky. Spores: a type-based foundation for closures
in the age of concurrency and distribution. ECOOP 2014
Miller, Haller, Müller, and Boullier. Function passing: a model for typed,
distributed functional programming. Onward! 2016
Haller and Loiko. LaCasa: lightweight affinity and object capabilities in
Scala. OOPSLA 2016
47