A logical view of effects, 2004. Available as a draft from http: //www-2.cs.cmu.edu/˜rwh/papers/modaleff/short.pdf (0)

by S Park, R Harper