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.
No references recorded for this publication.
No citations of this publication recorded.