Access Restriction

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