Ranjit Jhala, Niki Vazou. Refinement Types: A Tutorial. Foundations and Trends in Programming Languages, 6(3-4):159-317, 2021. [doi]
@article{JhalaV21,
title = {Refinement Types: A Tutorial},
author = {Ranjit Jhala and Niki Vazou},
year = {2021},
doi = {10.1561/2500000032},
url = {https://doi.org/10.1561/2500000032},
researchr = {https://researchr.org/publication/JhalaV21},
cites = {0},
citedby = {0},
journal = {Foundations and Trends in Programming Languages},
volume = {6},
number = {3-4},
pages = {159-317},
}