%0 Conference Paper %1 conf/icfp/AbelP13 %A Abel, Andreas %A Pientka, Brigitte %B ICFP %D 2013 %E Morrisett, Greg %E Uustalu, Tarmo %I ACM %K dblp %P 185-196 %T Wellfounded recursion with copatterns: a unified approach to termination and productivity. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#AbelP13 %@ 978-1-4503-2326-0

@inproceedings{conf/icfp/AbelP13, added-at = {2021-06-24T00:00:00.000+0200}, author = {Abel, Andreas and Pientka, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/2039af81db7f9b1b9faba999d1f1a9f12/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2013}, editor = {Morrisett, Greg and Uustalu, Tarmo}, ee = {https://doi.org/10.1145/2544174.2500591}, interhash = {f0cbf3c8056aaf07bc6afcf55ac6d878}, intrahash = {039af81db7f9b1b9faba999d1f1a9f12}, isbn = {978-1-4503-2326-0}, keywords = {dblp}, pages = {185-196}, publisher = {ACM}, timestamp = {2024-04-09T17:31:06.000+0200}, title = {Wellfounded recursion with copatterns: a unified approach to termination and productivity.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2013.html#AbelP13}, year = 2013 }