"A calculus with polymorphic and polyvariant flow types."

J. B. Wells et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics