On the Inference of Structured Recursive Effects with Subtyping (1997)

Cached

Download Links

by M. Debbabi, et al.