{"_id":"kwtwiLRXT2M7QTvcW","bibbaseid":"hannan-miller-usesofhigherorderunificationforimplementingprogramtransformers-1988","author_short":["Hannan, J.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Hannan"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Uses of higher-order unification for implementing program transformers","editor":[{"firstnames":["Kenneth","A."],"propositions":[],"lastnames":["Bowen"],"suffixes":[]},{"firstnames":["Robert","A."],"propositions":[],"lastnames":["Kowalski"],"suffixes":[]}],"booktitle":"Fifth International Logic Programming Conference","address":"Seattle, Washington","publisher":"MIT Press","pages":"942–959","month":"August","year":"1988","bibtex":"@inproceedings{hannan88iclp,\n author = {John Hannan and Dale Miller},\n title = {Uses of higher-order unification for implementing\n program transformers},\n editor = {Kenneth A. Bowen and Robert A. Kowalski},\n booktitle = {Fifth International Logic Programming Conference},\n address = {Seattle, Washington},\n publisher = {MIT Press},\n pages = {942--959},\n month = aug,\n year = {1988}\n}\n\n","author_short":["Hannan, J.","Miller, D."],"editor_short":["Bowen, K. A.","Kowalski, R. A."],"key":"hannan88iclp","id":"hannan88iclp","bibbaseid":"hannan-miller-usesofhigherorderunificationforimplementingprogramtransformers-1988","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["uses","higher","order","unification","implementing","program","transformers","hannan","miller"],"title":"Uses of higher-order unification for implementing program transformers","year":1988}