Coalgebras and monads in the semantics of Java (0)

by B Jacobs, E Poll
Venue:Theoretical Computer Science