Generalising Monads to Arrows. Science o f Computer Programming (2000)

by J Hughes