Combining a monad and a comonad. Theor (2002)

by J Power, H Watanabe
Venue:Comput. Sci