Sciweavers

JFP
2010
128views more  JFP 2010»
13 years 2 months ago
The arrow calculus
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 notatio...
Sam Lindley, Philip Wadler, Jeremy Yallop
CALCO
2009
Springer
138views Mathematics» more  CALCO 2009»
13 years 10 months ago
Kleene Monads: Handling Iteration in a Framework of Generic Effects
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
Sergey Goncharov, Lutz Schröder, Till Mossako...