On the Semantics of "Data Type"
dc.contributor.author | Donahue, James E. | en_US |
dc.date.accessioned | 2007-04-23T17:22:23Z | |
dc.date.available | 2007-04-23T17:22:23Z | |
dc.date.issued | 1977-05 | en_US |
dc.description.abstract | This paper considers the general problem of specifying the meaning of programming languages which include "data type definition facilities". The fundamental question posed in attempting to define such languages is: "what meaning should be given to a data type definition," or more simply, "what does data type mean?". In this paper we describe a new approach to defining the meaning of data types and give its application to the definition of a typed lambda calculus extension. We also prove a theorem stating that our language is "strongly typed". | en_US |
dc.format.extent | 1664572 bytes | |
dc.format.extent | 539848 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR77-311 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6711 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | On the Semantics of "Data Type" | en_US |
dc.type | technical report | en_US |