Back to Results
First PageMeta Content
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


draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman
Add to Reading List

Document Date: 2015-03-04 15:20:42

Open Document

File Size: 551,26 KB

Share Result on Facebook

Company

T. Steel / Cambridge University Press / Intel / /

Country

Netherlands / /

/

Facility

Pieter Koopman Rinus Plasmeijer Jan Martin Jansen Institute / Radboud University / /

IndustryTerm

recursive algorithms / search tree / binary search trees / /

OperatingSystem

Fork / Mac OS X / /

Organization

the university of Iowa / Radboud University / Cambridge University / Pieter Koopman Rinus Plasmeijer Jan Martin Jansen Institute for Computing and Information Sciences Radboud University Nijmegen / /

Person

Peter Achten / Scott Encoding / Dana Scott / Church / Aaron Stump / Pieter Koopman Rinus Plasmeijer Jan / /

Position

Implementations General / additional primitive access function head / editor / dentist / self interpreter / producer / head / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

Iowa / /

PublishedMedium

Theoretical Computer Science / /

Technology

functional programming / simulation / same algorithm / optimised algorithm / /

URL

http /

SocialTag