Back to Results
First PageMeta Content
Mathematical logic / Fixed-point combinator / Arrow / Simply typed lambda calculus / Function / Natural deduction / Combinatory logic / Theoretical computer science / Mathematics / Lambda calculus


The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler
Add to Reading List

Document Date: 2008-07-22 11:55:55

Open Document

File Size: 213,11 KB

Share Result on Facebook

IndustryTerm

web interaction / classic arrow law / app law / partial solution / left unit law / beta law / /

Organization

eta / /

Person

Elliott / Philip Wadler Jeremy Yallop / Courtney / Sam Lindley Philip Wadler Jeremy / /

ProgrammingLanguage

Haskell / L / /

SocialTag