SMT-based checking of predicate-qualified types for Scala

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998398 ◽

2016 ◽

Author(s):

Georg Stefan Schmid ◽

Viktor Kuncak

Download Full-text