×

zbMATH — the first resource for mathematics

Learning refinement types. (English) Zbl 1360.68345
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 400-411 (2015).

MSC:
68N18 Functional programming and lambda calculus
PDF BibTeX XML Cite
Full Text: DOI