Georg Stefan Schmid, Viktor Kuncak. SMT-based checking of predicate-qualified types for Scala. In Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche, editors, Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 31-40, ACM, 2016. [doi]
Abstract is missing.