A Theory of Classes for a Functional Language with Effects

• Authors:

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

• Affiliations:

• -;-;-;-

• Venue:
• CSL '92 Selected Papers from the Workshop on Computer Science Logic
• Year:
• 1992