Uses of Higher-Order Unification for Implementing Program Transformers.

John Hannan, Dale Miller

Browse the full ICLP paper archive.