Uses of higher-order unification for implementing program transformers (1988)

by J Hannan, D Miller
Venue:In Proc. 5th Int. Conf. and Symp. on Logic Programming