Algebraic specification of data types: A synthetic approach
- 1 December 1981
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 14 (1) , 97-139
- https://doi.org/10.1007/bf01752392
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- A Metalanguage for interactive proof in LCFPublished by Association for Computing Machinery (ACM) ,1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Free dynamics and algebraic semanticsPublished by Springer Nature ,1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- A Categorist's view of automata and systemsPublished by Springer Nature ,1975
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Coequalizers and free triplesMathematische Zeitschrift, 1970