Generalising monads to arrows

Authors: John Hughes - Science of Computer Programming 2000 cited by 517