Informatics Report Series

Report   

EDI-INF-RR-1258

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:The Arrow Calculus
Authors: Samuel Lindley ; Philip Wadler ; Jeremy Yallop
Date:Jun 2008
Publication Type:Other Publication Status:Pre-print
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.
Links To Paper
1st Link
Bibtex format
@Misc{EDI-INF-RR-1258,
author = { Samuel Lindley and Philip Wadler and Jeremy Yallop },
title = {The Arrow Calculus},
year = 2008,
month = {Jun},
url = {http://groups.inf.ed.ac.uk/links/papers/arrow-calculus-tr2008.pdf},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh