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.
@inproceedings{HonsellMST92,
title = {A Theory of Classes for a Functional Language with Effects},
author = {Furio Honsell and Ian A. Mason and Scott F. Smith and Carolyn L. Talcott},
year = {1992},
researchr = {https://researchr.org/publication/HonsellMST92},
cites = {0},
citedby = {0},
pages = {309-326},
booktitle = {Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers},
editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Simone Martini and Michael M. Richter},
volume = {702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56992-8},
}