%0 Conference Paper %1 conf/plpv/KimmellSEEFSWCSCA12 %A Kimmell, Garrin %A Stump, Aaron %A III, Harley D. Eades %A Fu, Peng %A Sheard, Tim %A Weirich, Stephanie %A Casinghino, Chris %A Sjöberg, Vilhelm %A Collins, Nathan %A Ahn, Ki Yung %B PLPV %D 2012 %E Claessen, Koen %E Swamy, Nikhil %I ACM %K %P 15-26 %T Equational reasoning about programs with general recursion and call-by-value semantics. %U http://dblp.uni-trier.de/db/conf/plpv/plpv2012.html#KimmellSEEFSWCSCA12 %@ 978-1-4503-1125-0

@inproceedings{conf/plpv/KimmellSEEFSWCSCA12, added-at = {2023-12-12T18:32:44.000+0100}, author = {Kimmell, Garrin and Stump, Aaron and III, Harley D. Eades and Fu, Peng and Sheard, Tim and Weirich, Stephanie and Casinghino, Chris and Sjöberg, Vilhelm and Collins, Nathan and Ahn, Ki Yung}, biburl = {https://www.bibsonomy.org/bibtex/28a789081b19ae944146ebc9d78155ae2/admin}, booktitle = {PLPV}, crossref = {conf/plpv/2012}, editor = {Claessen, Koen and Swamy, Nikhil}, ee = {https://doi.org/10.1145/2103776.2103780}, interhash = {13d6843ddbd6d3e402964a019ef0e1a1}, intrahash = {8a789081b19ae944146ebc9d78155ae2}, isbn = {978-1-4503-1125-0}, keywords = {}, pages = {15-26}, publisher = {ACM}, timestamp = {2023-12-12T18:32:44.000+0100}, title = {Equational reasoning about programs with general recursion and call-by-value semantics.}, url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2012.html#KimmellSEEFSWCSCA12}, year = 2012 }