Order Sorted Algebras: Exceptions and Error Sorts, Coercions and Overloaded Operators", Semantics and Theory of Computation Report (1978)

by J A Goguen
Venue:Computer Science Department, UCLA