Vlaminck. Program bifurcation for a polymorphically typed functional language (1991)

by A De Niel, E Bevers, K De
Venue:In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation