%0 Conference Paper %1 journals/corr/abs-2005-00199 %A Jenkins, Christopher %A Stump, Aaron %A Diehl, Larry %B MSFP@ETAPS %D 2020 %E New, Max S. %E Lindley, Sam %K dblp %P 72-97 %T Efficient lambda encodings for Mendler-style coinductive types in Cedille. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs317.html#abs-2005-00199 %V 317

@inproceedings{journals/corr/abs-2005-00199, added-at = {2020-05-08T00:00:00.000+0200}, author = {Jenkins, Christopher and Stump, Aaron and Diehl, Larry}, biburl = {https://www.bibsonomy.org/bibtex/2cdb4536fc8f39b5204187da3b8624778/dblp}, booktitle = {MSFP@ETAPS}, crossref = {journals/corr/abs-2004-14735}, editor = {New, Max S. and Lindley, Sam}, ee = {https://arxiv.org/abs/2005.00199}, interhash = {6ea593fbc69391110d49437d5559a972}, intrahash = {cdb4536fc8f39b5204187da3b8624778}, keywords = {dblp}, pages = {72-97}, series = {EPTCS}, timestamp = {2020-05-09T11:39:49.000+0200}, title = {Efficient lambda encodings for Mendler-style coinductive types in Cedille.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs317.html#abs-2005-00199}, volume = 317, year = 2020 }