35 citations · 51 across the 12 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017★ 2 cited
Quantifying and Explaining Immutability in Scala
Philipp Haller, Ludvig Axelsson
Functional programming typically emphasizes programming with first-class functions and immutable data. Immutable data types enable fault tolerance in distributed systems, and ensur…
cs.PL2017
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…
cs.PL2017
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Vasco T. Vasconcelos, Philipp Haller
PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth edition of the PLACES workshop series. After the first PLA…