Varieties of effects (2002)

by Carsten Ftihrmann
Venue:In Foundations of Software Science and Computation Structures (FOSSACS) 2002, volume 2303 of LNCS