Monads and adjunctions for global exceptions (2006)

by Paul Blain Levy
Venue:MFPS 2006. Electronic Notes in Theoretical Computer Science 158