Data Types as Functions
Open Access
- 1 July 1978
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in DAIMI Report Series
- Vol. 7 (89)
- https://doi.org/10.7146/dpb.v7i89.6504
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: