Uses of higher-order unification for implementing program transformers. Hannan, J. & Miller, D. In Bowen, K. A. & Kowalski, R. A., editors, Fifth International Logic Programming Conference, pages 942–959, Seattle, Washington, August, 1988. MIT Press.
bibtex   
@inproceedings{hannan88iclp,
  author = {John Hannan and Dale Miller},
  title = {Uses of higher-order unification for implementing
                 program transformers},
  editor = {Kenneth A. Bowen and Robert A. Kowalski},
  booktitle = {Fifth International Logic Programming Conference},
  address = {Seattle, Washington},
  publisher = {MIT Press},
  pages = {942--959},
  month = aug,
  year = {1988}
}

Downloads: 0