Faithful translations between polyvariant flows and polymorphic types (2000)

by T Amtoft, F Turbak
Venue:In Proceedings of the 14th European Symposium on Programming