Type checking revisited: Modular error handling (1993)

by T B Dinesh
Venue:In Proceedings of the Workshop on Semantics of Specification Languages