list | abstracts | bib ]

SMT-Based Checking of Predicate-Qualified Types for Scala

paper pdf   

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 Scala},
  booktitle = {Scala Symposium},
  year = 2016,
  localurl = {http://lara.epfl.ch/~kuncak/papers/SchmidKuncak16CheckingPredicate.pdf}
}

list | abstracts | bib ]