"Subset Types and Partial Functions."

Aaron Stump (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics