Operational semantics for a modal type system of e#ects (2003)

by R Harper, F Pfenning