Mogensen–Scott encoding

#	Item
1	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming