Learning refinement types.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Browse the full ICFP paper archive.