Georg Stefan Schmid and Viktor Kuncak. SMT-based checking of predicate-qualified types for Scala. In
Scala Symposium
, 2016.
[
bib
]
Back