Order-sorted algebraic specifications with higher-order functions
- 15 September 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 183 (2) , 157-185
- https://doi.org/10.1016/s0304-3975(96)00323-4
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Universal algebra in higher typesTheoretical Computer Science, 1992
- On specifications, theories, and models with higher typesInformation and Control, 1986