Data Types as Functions
DOI:
https://doi.org/10.7146/dpb.v7i89.6504Abstract
This paper introduces a new, simple definition of what a data type is. This definition gives one possible solution of the theoretical problems: when can an actual parameter of type T be substituted for a formal parameter of type T'? When can a type T' be implemented as another type T''? The preprint is an extended version of a paper presented at MFCS 78, Zakopane.Downloads
Published
1978-07-01
How to Cite
Mayoh, B. H. (1978). Data Types as Functions. DAIMI Report Series, 7(89). https://doi.org/10.7146/dpb.v7i89.6504
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.