Towards an Empirical Study of Affine Types for Isolated Actors in Scala

Philipp Haller, Fredrik Sommar

LaCasa is a type system and programming model to enforce the object capability discipline in Scala, and to provide affine types. One important application of LaCasa's type system i…