Thumbnail
Access Restriction
Subscribed

Author Greiter, Gebhard
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Abstract A mathematical model for the notion "data type" is presented. The proposed theory seems to be at least as powerful as the initial algebra approach (see [1]), but can be handled far more easily. A clear distinction is drawn between algebras that are data types and those being merely implementations of types. If an algebra is a type, then each of its elements can be calculated by finite application of operators associated to that type. The model includes error handling.
Description Affiliation: SOFTLAB GmbH, München (Greiter, Gebhard)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1983-05-01
Publisher Place New York
Journal ACM SIGPLAN Notices (SIGP)
Volume Number 17
Issue Number 5
Page Count 7
Starting Page 47
Ending Page 53


Open content in new tab

   Open content in new tab
Source: ACM Digital Library