"Subtyping recursion and parametric polymorphism in kernel fun."

Dario Colazzo, Giorgio Ghelli (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics