Patrick Prémont. Referential integrity with Scala types. In Philipp Haller, Heather Miller, editors, Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala 2015, Portland, OR, USA, June 15-17, 2015. pages 30-34, ACM, 2015. [doi]
Abstract is missing.