The arrow calculus

13 years 3 months ago

Download homepages.inf.ed.ac.uk

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.

Sam Lindley, Philip Wadler, Jeremy Yallop

Real-time Traffic

JFP 2010 | Metalanguage | Moggi’s Metalanguage | Paterson’s Arrow Notation |

claim paper

» The Arrow Calculus as a Quantum Programming Language

» Causal commutative arrows and their optimization

» The Rewriting Calculus as a Semantics of ELAN

» Focusing on Binding and Computation

» Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types

» Monads Need Not Be Endofunctors

» Light types for polynomial time computation in lambdacalculus

» Haskell Is Not Not ML

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JFP
Authors	Sam Lindley, Philip Wadler, Jeremy Yallop

Comments (0)

Sciweavers

The arrow calculus

JFP 2010 | Metalanguage | Moggi’s Metalanguage | Paterson’s Arrow Notation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers