A Theory of Classes for a Functional Language with Effects

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott. A Theory of Classes for a Functional Language with Effects. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 309-326, Springer, 1992.

Authors

Furio Honsell

This author has not been identified. Look up 'Furio Honsell' in Google

Ian A. Mason

This author has not been identified. Look up 'Ian A. Mason' in Google

Scott F. Smith

This author has not been identified. Look up 'Scott F. Smith' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google