|
40
|
A new notation for arrows
– Ross Paterson
- 2001
|
|
133
|
Generalising Monads to Arrows
– John Hughes
- 1998
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
7
|
Programming with arrows
– John Hughes
- 2004
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
25
|
Generalising monads to arrows, Science of Computer Programming 37
– J Hughes
- 1998
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
23
|
Polytypic Data Conversion Programs
– Patrik Jansson, Johan Jeuring
- 2001
|
|
5
|
Signals and comonads
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
33
|
Genuinely functional user interfaces
– Conal Elliott
- 2001
|
|
5
|
The arrow calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
- 2008
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
42
|
Applicative programming with effects
– Conor Mcbride, Ross Paterson
|
|
9
|
Interactive mathematical documents on the web
– A. M. Cohen, H. Cuypers, E. Reinaldo Barreiro, H. Sterk
- 2003
|
|
20
|
Design principles of MathPert: Software to support education in algebra and calculus
– M J Beeson
- 1998
|
|
11
|
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
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
