Monadic encapsulation of e ects: A revised approach (1999)

by E Moggi, F Palumbo
Venue:In the Third International Workshop on Higher Order Operational Techniques in Semantics