He Zhu, Aditya V. Nori, Suresh Jagannathan
Learning refinement types
ICFP, 2015.
@inproceedings{ICFP-2015-ZhuNJ,
author = "He Zhu and Aditya V. Nori and Suresh Jagannathan",
booktitle = "{Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming}",
doi = "10.1145/2784731.2784766",
isbn = "978-1-4503-3669-7",
pages = "400--411",
publisher = "{ACM}",
title = "{Learning refinement types}",
year = 2015,
}