An effective theory of type refinements (2003)

by Y Mandelbaum, D Walker, R Harper
Venue:In International Conference on Functional Programming, ICFP’03