A monad for basic Java semantics (0)

by Bart Jacobs, Erik Poll
Venue:Lecture Notes in Computer Science