|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3716
|
| Title: | The arrow calculus |
| Authors: | Lindley, Sam
Wadler, P.
Yallop, J. |
| Issue Date: | Jan-2010 |
| Journal Title: | Journal of Functional Programming |
| Volume: | 20 |
| Issue: | 1 |
| Page Numbers: | 51-69 |
| Publisher: | Cambridge University Press |
| Abstract: | 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. |
| URI: | http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7118816
http://hdl.handle.net/1842/3716 |
| ISSN: | 0956-7968 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
