Data types in distributive categories
- 1 August 1989
- journal article
- research article
- Published by Cambridge University Press (CUP) in Bulletin of the Australian Mathematical Society
- Vol. 40 (1) , 79-82
- https://doi.org/10.1017/s0004972700003506
Abstract
The purpose of this note is to describe some of the standard data types of computer science in the language of distributive categories. We believe that in this way we have achieved a simplification and a formal clarification of the specification of these data types.Keywords
This publication has 1 reference indexed in Scilit:
- Specification and Implementation of Abstract Data TypesPublished by Elsevier ,1983