Equivalence in Functional Languages with Effects

Ian A. Mason, Carolyn L. Talcott. Equivalence in Functional Languages with Effects. Journal of Functional Programming, 1(3):287-327, 1991.

Abstract

Abstract is missing.