Generalising monads to arrows (2000)

by John Hughes
Venue:Science of Computer Programming