Generalising monads to arrows. (2000)

by John Hughes
Venue:Science of Computer Programming,