Faithful Translations between Polyvariant Flows and Polymorphic Types.

Torben Amtoft, Franklyn A. Turbak

Browse the full ESOP paper archive.