Data Types as Functions
DOI:
https://doi.org/10.7146/dpb.v7i89.6504Resumé
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
Publiceret
1978-07-01
Citation/Eksport
Mayoh, B. H. (1978). Data Types as Functions. DAIMI Report Series, 7(89). https://doi.org/10.7146/dpb.v7i89.6504
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
