"Refinement Types as Higher-Order Dependency Pairs."

Cody Roux (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics