Generalising monads to arrows (2000)

by J Hughes
Venue:Science of Comput. Progr