Varieties of effects (2002)

by C Führmann
Venue:Proc. 5th FoSSaCS