Another look at parameterization using algebras with subsorts
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 471-479
- https://doi.org/10.1007/bfb0030330
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Parameter passing in algebraic specification languagesPublished by Springer Nature ,1982
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- Parameter passing commutes with implementation of parameterized data typesPublished by Springer Nature ,1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981