An effective theory of type refinements.

Yitzhak Mandelbaum, David Walker, Robert Harper

Browse the full ICFP paper archive.