A Theory of Classes for a Functional Language with Effects.

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Browse the full CSL paper archive.