Quantifying and Explaining Immutability in Scala. - Philipp Haller; Ludvig Axelsson (PLACES@ETAPS, 2017)