T. B. Dinesh. Type-Checking Revisited: Modular Error-Handling. In D. J. Andrews, Jan Friso Groote, C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, pages 216-231, Springer, 1993.
@inproceedings{Dinesh93,
title = {Type-Checking Revisited: Modular Error-Handling},
author = {T. B. Dinesh},
year = {1993},
tags = {type checking},
researchr = {https://researchr.org/publication/Dinesh93},
cites = {0},
citedby = {0},
pages = {216-231},
booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993},
editor = {D. J. Andrews and Jan Friso Groote and C. A. Middelburg},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19854-7},
}