On the Inference od Structured Recursive Effects with Subtyping

Mourad Debbabi, Zahia Aïdoud, Ali Faour. On the Inference od Structured Recursive Effects with Subtyping. Journal of Functional and Logic Programming, 1997(5), 1997.

Abstract

Abstract is missing.