%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 %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 = {2023-12-14T15:53:20.000+0100}, author = {Abel, Andreas and Pientka, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/2039af81db7f9b1b9faba999d1f1a9f12/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2013}, editor = {Morrisett, Greg and Uustalu, Tarmo}, ee = {https://doi.org/10.1145/2500365.2500591}, interhash = {f0cbf3c8056aaf07bc6afcf55ac6d878}, intrahash = {039af81db7f9b1b9faba999d1f1a9f12}, isbn = {978-1-4503-2326-0}, keywords = {}, pages = {185-196}, publisher = {ACM}, timestamp = {2023-12-14T15:53:20.000+0100}, 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 }