%0 Conference Paper
%1 conf/popl/HalpernWWW85
%A Halpern, Joseph Y.
%A Williams, John H.
%A Wimmers, Edward L.
%A Winkler, Timothy C.
%B POPL
%D 1985
%E Deusen, Mary S. Van
%E Galil, Zvi
%E Reid, Brian K.
%I ACM Press
%K dblp
%P 108-120
%T Denotational Semantics and Rewrite Rules for FP.
%U http://dblp.uni-trier.de/db/conf/popl/popl85.html#HalpernWWW85
%@ 0-89791-147-4
@inproceedings{conf/popl/HalpernWWW85,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Halpern, Joseph Y. and Williams, John H. and Wimmers, Edward L. and Winkler, Timothy C.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2883cbaee156957a7db4a60484c22e65f/dblp},
booktitle = {POPL},
crossref = {conf/popl/1985},
editor = {Deusen, Mary S. Van and Galil, Zvi and Reid, Brian K.},
ee = {https://doi.org/10.1145/318593.318623},
interhash = {57ee1b72ebbc4c2d10cc6533b31066c3},
intrahash = {883cbaee156957a7db4a60484c22e65f},
isbn = {0-89791-147-4},
keywords = {dblp},
pages = {108-120},
publisher = {ACM Press},
timestamp = {2019-09-27T20:56:54.000+0200},
title = {Denotational Semantics and Rewrite Rules for FP.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl85.html#HalpernWWW85},
year = 1985
}