Varieties of effects (2002)

by Carsten Führmann
Venue:In Foundations of Software Science and Computation Structures, volume 2303 of LNCS