An Introduction to Refinement Types

Ranjit Jhala


[PDF]