Generalising Monads to Arrows (1998)

by John Hughes
Venue:Science of Computer Programming