An effective theory of type refinements (2003)

by Y Mandelbaum, D Walker, R Harper
Venue:In ACM SIGPLAN International conference on functional programming