The arrow calculus

DOI10.1017/S095679680999027XzbMath1185.68199DBLPjournals/jfp/LindleyWY10WikidataQ30048852 ScholiaQ30048852MaRDI QIDQ5189645

Sam Lindley, Philip Wadler, Jeremy Yallop

Publication date: 17 March 2010

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

Hughes' arrowsMoggi's metalanguagePaterson's arrow

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

What is a Categorical Model of Arrows? ⋮ Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous ⋮ Causal commutative arrows ⋮ The Arrow Calculus as a Quantum Programming Language

Cites Work

• Notions of computation and monads
• Generalising monads to arrows
• Premonoidal categories and notions of computation
• Applicative programming with effects

This page was built for publication: The arrow calculus