Mogensen–Scott encoding

Results: 1



#Item
1Recursion / Type theory / Data types / Lambda calculus / Computability theory / Church encoding / Recursive data type / Mogensen–Scott encoding / Algebraic data type / Software engineering / Computing / Computer programming

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
UPDATE