Monadic encapsulation of eects: A revised approach. Electronic notes in theoretical computer science (1999)

by Eugenio Moggi
Venue:Third International Workshop on Higher Order Operational Techniques in Semantics