Arrows and computation (2003)

Cached

Download Links

by Ross Paterson
Venue:The Fun of Programming
Citations:12 - 0 self

Documents Related by Co-Citation

48 A new notation for arrows – Ross Paterson - 2001
159 Generalising Monads to Arrows – John Hughes - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
8 Programming with arrows – J Hughes - 2004
1312 Monads for functional programming – Philip Wadler - 1995
32 Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs – J Hughes
930 Categories for the Working Mathematician – S Mac Lane - 1971
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
38 Genuinely functional user interfaces – Conal Elliott - 2001
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
21 Design principles of Mathpert: software to support education in algebra and calculus – Michael Beeson
10 Interactive mathematical documents on the web – A. M. Cohen, H. Cuypers, E. Reinaldo Barreiro, H. Sterk - 2003
23 A Lightweight Approach to Datatype-Generic Rewriting – Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren - 2008
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998