Refinement types for Haskell.

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones

Browse the full ICFP paper archive.