Refinement Types: A Tutorial

Ranjit Jhala, Niki Vazou
2021 Foundations and Trends® in Programming Languages  
doi:10.1561/2500000032 fatcat:7my2az6fqzhpjbb6oehwwubvwa