Back to Results
First PageMeta Content
Lambda calculus / Group theory / Homomorphism / Morphisms / Quasigroup / Fixed-point combinator / Abuse of notation / Sheaf / Filter / Mathematics / Abstract algebra / Mathematical notation


Document Date: 2010-11-25 16:05:50

Open Document

File Size: 1,51 MB

Share Result on Facebook

City

Amsterdam / /

Company

APL / Cambridge University Press / North-Holland Publishing Company / /

Country

United Kingdom / /

Currency

pence / /

Facility

Algorithmics Richard S. Bird Programming Research Group University of Oxford / /

IndustryTerm

identity law / reduction operator / binary operator / quadratic time algorithm / /

Organization

Cambridge University / Algorithmics Richard S. Bird Programming Research Group University of Oxford / /

Person

Phil Wadler / Lambert Meertens Centrum / /

Position

S•mp / /

Product

Is / /

ProgrammingLanguage

C / /

Technology

Functional Programming / quadratic time algorithm / /

SocialTag