Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
- 1 March 1993
- journal article
- research article
- Published by Elsevier in Information and Computation
- Vol. 103 (1) , 114-158
- https://doi.org/10.1006/inco.1993.1016
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Order-sorted unificationJournal of Symbolic Computation, 1989
- Modular algebraic specification of some basic geometrical constructionsArtificial Intelligence, 1988