"Faithful Translations between Polyvariant Flows and Polymorphic Types."

Torben Amtoft, Franklyn A. Turbak (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics