LiquidHaskell: experience with refinement types in the real world.

Niki Vazou, Eric L. Seidel, Ranjit Jhala

Browse the full HASKELL paper archive.