Programming with Refinement Types

An Introduction to LiquidHaskell

Ranjit Jhala, Eric Seidel, Niki Vazou


[PDF]