Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl

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]

Abstract

Abstract is missing.