Parametrized data types do not need highly constrained parameters
- 28 February 1982
- journal article
- Published by Elsevier in Information and Control
- Vol. 52 (2) , 139-158
- https://doi.org/10.1016/s0019-9958(82)80026-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Least fixed point of a functorJournal of Computer and System Sciences, 1979
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Machines in a Category: An Expository IntroductionSIAM Review, 1974
- Coequalizers and free triplesMathematische Zeitschrift, 1970