Program bifurcation for a polymorphically typed functional language (1991)

by Anne De Niel, Eddy Bevers, Karel De Vlaminck
Venue:In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation