Bounded refinement types.

Niki Vazou, Alexander Bakst, Ranjit Jhala

Browse the full ICFP paper archive.