A new notation for arrows (2001)

Cached

Download Links

by Ross Paterson
Venue:In International Conference on Functional Programming (ICFP ’01
Citations:48 - 1 self

Documents Related by Co-Citation

159 Generalising Monads to Arrows – John Hughes - 1998
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
1312 Monads for functional programming – Philip Wadler - 1995
38 Genuinely functional user interfaces – Conal Elliott - 2001
50 Functional reactive programming, continued – Henrik Nilsson, Antony Courtney, John Peterson - 2002
12 Arrows and computation – Ross Paterson - 2003
730 Notions of Computation and Monads – Eugenio Moggi - 1991
6 Functional programming and 3D games. BEng thesis – Mun Hon Cheong - 2005
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
52 Functional Reactive Programming from First Principles – Zhanyong Wan, Paul Hudak - 2000
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
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
29 The Yampa arcade – Antony Courtney, Henrik Nilsson, John Peterson - 2003
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
47 Arrows, Robots, and Functional Reactive Programming – Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson - 2002
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988