Abstract Refinement Types.

Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala

Browse the full ESOP paper archive.