dc.contributor.author |
Venter, BH
|
|
dc.date.accessioned |
2018-05-18T23:14:27Z |
|
dc.date.available |
2018-05-18T23:14:27Z |
|
dc.date.issued |
1990 |
|
dc.identifier |
|
en |
dc.identifier.citation |
Venter BH (1990) Data structuring via functions. South African Computer Journal Number 2 1990 |
en |
dc.identifier.issn |
2313-7835 |
|
dc.identifier.uri |
http://hdl.handle.net/10500/23933 |
|
dc.description.abstract |
A programming language data model is introduced, based on the notions that variables are functions and types are sets of values. It is shown that, despite the simplicity of the underlying mathematical formalism, the data model is very expressive, and does not violate basic intuitions about variables and types. |
en |
dc.language.iso |
en |
en |
dc.publisher |
South African Institute of Computer Scientists and Information Technologists |
en |
dc.subject |
Data structures |
en |
dc.subject |
Functional data model |
en |
dc.subject |
Sets |
en |
dc.subject |
Lists |
en |
dc.subject |
Records |
en |
dc.title |
Data structuring via functions |
en |
dc.type |
Article |
en |
dc.description.department |
School of Computing |
en |