Yitzhak Mandelbaum, David Walker, Robert Harper. An effective theory of type refinements. In Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. pages 213-225, ACM, 2003. [doi]
Abstract is missing.