The arrow calculus

S. Lindley, P. Wadler, J. Yallop

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relations both to Moggi's metalanguage for monads and to Paterson's arrow notation. Arrows arc classically defined by extending lambda calculus With three constructs satisfying nine (somewhat idiosyncratic) laws; in contrast, the arrow Calculus adds four constructs satisfying five laws (which fit two well-known patterns). The five laws were previous]), known to be sound; we show that they are also complete, and hence that the five laws may replace the nine.
Original languageEnglish
Pages (from-to)51-69
Number of pages19
JournalJournal of Functional Programming
Issue number1
Publication statusPublished - Jan 2010


Dive into the research topics of 'The arrow calculus'. Together they form a unique fingerprint.

Cite this