Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:The Arrow Calculus
Authors: Samuel Lindley ; Philip Wadler ; Jeremy Yallop
Date:Jun 2008
Publication Type:Other Publication Status:Pre-print
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
author = { Samuel Lindley and Philip Wadler and Jeremy Yallop },
title = {The Arrow Calculus},
year = 2008,
month = {Jun},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh