Show simple item record

Journal of Functional Programming

dc.contributor.authorLindley, Sam
dc.contributor.authorWadler, P.
dc.contributor.authorYallop, J.
dc.date.accessioned2010-09-07T09:57:41Z
dc.date.available2010-09-07T09:57:41Z
dc.date.issued2010-01
dc.identifier.issn0956-7968en
dc.identifier.urihttp://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7118816en
dc.identifier.urihttp://hdl.handle.net/1842/3716
dc.description.abstractWe 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.en
dc.language.isoenen
dc.publisherCambridge University Pressen
dc.titleThe arrow calculusen
dc.typeArticleen
dc.identifier.doi10.1017/S095679680999027Xen
rps.issue1en
rps.volume20en
rps.titleJournal of Functional Programmingen
dc.extent.pageNumbers51-69en
dc.date.updated2010-09-07T09:57:42Z
dc.identifier.eIssn1469-7653en


Files in this item

This item appears in the following Collection(s)

Show simple item record