Jiansen He, Philip Wadler, Philip W. Trinder: Typecasting actors: from Akka to TAkka. SCALA@ECOOP 2014: 23-33