Codatatypes in ML
- 31 December 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (6) , 629-650
- https://doi.org/10.1016/s0747-7171(89)80065-3
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Categorical Combinators, Sequential Algorithms, and Functional ProgrammingPublished by Springer Nature ,1993
- The Physics of Accretion onto Compact ObjectsPublished by Springer Nature ,1986
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Algebras, Theories and Freeness: An Introduction for Computer ScientistsPublished by Springer Nature ,1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- Data Types as LatticesSIAM Journal on Computing, 1976