Back to Results
First PageMeta Content
Computability theory / Lambda calculus / Arrow / Quiver / Function / Natural deduction / Normalisation by evaluation / Mathematics / Mathematical logic / Theoretical computer science


ZU064-05-FPR arrows
Add to Reading List

Document Date: 2010-09-16 05:19:11

Open Document

File Size: 145,06 KB

Share Result on Facebook

Facility

JEREMY YALLOP University of Edinburgh Abstract We / /

IndustryTerm

web interaction / partial solution / binary products / /

Organization

eta / JEREMY YALLOP University of Edinburgh Abstract We / /

Person

Eugenio Moggi / Robert Atkey / PHILIP WADLER / /

Position

give forward / functional programmer / /

ProgrammingLanguage

Haskell / L / /

Technology

Functional Programming / /

SocialTag