%0 Conference Paper %1 conf/icfp/HinzeJ10 %A Hinze, Ralf %A James, Daniel W. H. %B ICFP-WGP %D 2010 %E d. S. Oliveira, Bruno C. %E Zalewski, Marcin %I ACM %K %P 85-96 %T Reason isomorphically! %U http://dblp.uni-trier.de/db/conf/icfp/wgp2010.html#HinzeJ10 %@ 978-1-4503-0251-7

@inproceedings{conf/icfp/HinzeJ10, added-at = {2023-12-13T01:03:16.000+0100}, author = {Hinze, Ralf and James, Daniel W. H.}, biburl = {https://www.bibsonomy.org/bibtex/2e9eafc56533e30cf8a7d2faa85699733/admin}, booktitle = {ICFP-WGP}, crossref = {conf/icfp/2010wgp}, editor = {d. S. Oliveira, Bruno C. and Zalewski, Marcin}, ee = {https://doi.org/10.1145/1863495.1863507}, interhash = {6c2e6d8cde73b0aef5036168b71ef9b5}, intrahash = {e9eafc56533e30cf8a7d2faa85699733}, isbn = {978-1-4503-0251-7}, keywords = {}, pages = {85-96}, publisher = {ACM}, timestamp = {2023-12-13T01:03:16.000+0100}, title = {Reason isomorphically!}, url = {http://dblp.uni-trier.de/db/conf/icfp/wgp2010.html#HinzeJ10}, year = 2010 }