Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen. Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. In Sam Tobin-Hochstadt, editor, Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014. pages 4, ACM, 2014. [doi]
@inproceedings{KoopmanPJ14,
title = {Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl},
author = {Pieter W. M. Koopman and Rinus Plasmeijer and Jan Martin Jansen},
year = {2014},
doi = {10.1145/2746325.2746330},
url = {http://doi.acm.org/10.1145/2746325.2746330},
researchr = {https://researchr.org/publication/KoopmanPJ14},
cites = {0},
citedby = {0},
pages = {4},
booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014},
editor = {Sam Tobin-Hochstadt},
publisher = {ACM},
isbn = {978-1-4503-3284-2},
}