%0 Conference Paper %1 conf/meta/HannanM88 %A Hannan, John %A Miller, Dale %B META %D 1988 %E Abramson, Harvey %E Rogers, M. H. %I MIT Press %K dblp %P 453-476 %T A Meta-Logic for Functional Programming. %U http://dblp.uni-trier.de/db/conf/meta/meta88.html#HannanM88 %@ 0-262-51047-2

@inproceedings{conf/meta/HannanM88, added-at = {2019-07-30T00:00:00.000+0200}, author = {Hannan, John and Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/237ef539b156f207c60d13416ca3e28b8/dblp}, booktitle = {META}, crossref = {conf/meta/1988}, editor = {Abramson, Harvey and Rogers, M. H.}, interhash = {9af2ff7c308219b638ede9aac52c8f2e}, intrahash = {37ef539b156f207c60d13416ca3e28b8}, isbn = {0-262-51047-2}, keywords = {dblp}, pages = {453-476}, publisher = {MIT Press}, timestamp = {2019-07-31T11:38:13.000+0200}, title = {A Meta-Logic for Functional Programming.}, url = {http://dblp.uni-trier.de/db/conf/meta/meta88.html#HannanM88}, year = 1988 }