%0 Conference Paper %1 conf/ppdp/BentonKBH09 %A Benton, Nick %A Kennedy, Andrew %A Beringer, Lennart %A Hofmann, Martin %B PPDP %D 2009 %E Porto, António %E López-Fraguas, Francisco Javier %I ACM %K dblp %P 301-312 %T Relational semantics for effect-based program transformations: higher-order store. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#BentonKBH09 %@ 978-1-60558-568-0

@inproceedings{conf/ppdp/BentonKBH09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Benton, Nick and Kennedy, Andrew and Beringer, Lennart and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c805b86a7897dc9864c660b8aaf43a30/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2009}, editor = {Porto, António and López-Fraguas, Francisco Javier}, ee = {https://doi.org/10.1145/1599410.1599447}, interhash = {567b7bb239c273a53314193abeae3e70}, intrahash = {c805b86a7897dc9864c660b8aaf43a30}, isbn = {978-1-60558-568-0}, keywords = {dblp}, pages = {301-312}, publisher = {ACM}, timestamp = {2018-11-07T14:47:28.000+0100}, title = {Relational semantics for effect-based program transformations: higher-order store.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#BentonKBH09}, year = 2009 }