SMT-Based Checking of Predicate-Qualified Types for Scala

Citation

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

BibTex Entry

@inproceedings{SchmidKuncak16CheckingPredicate,
  author = {Georg Stefan Schmid and Viktor Kuncak},
  title = {{SMT}-Based Checking of Predicate-Qualified Types for {S}cala},
  booktitle = {Scala Symposium},
  year = 2016
}