Towards algebras of encapsulated effects. (unpublished manuscript (1997)

by R Kieburtz, J Launchbury