A graphical approach to monad compositions (2001)

by P Eklund
Venue:Electronic Notes in Theoretical Computer Science