An effective theory of type refinements (2003)

by Y Mandelbaum, D Walker, R Harper
Venue:Proc. International Conference on Functional Programming