An Abstract View of Programming Languages, University of Edinburgh, Report ECS-LFCS-90-113 (1989)

by E Moggi
Venue:Adequacy for Algebraic Effects, Proc. FOSSACS 2001