"Type Assignment for Intersections and Unions in Call-by-Value Languages."

Jana Dunfield, Frank Pfenning (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics