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

by John Hannan, Dale Miller
Venue:Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume