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

Pieter W. M. Koopman Rinus Plasmeijer Jan Martin Jansen

Published in: IFL (2014)

Keyphrases

data types
data structure
data model
user defined
database systems
database management systems
back end
database server
data mining algorithms
abstract data types
information retrieval
microsoft sql server
storage structures
image processing
causal models
application programs