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

by J A GOGUEN