Data Structuring via Functions
B H Venter
Department of Computer Science, University of Port Elizabeth
P O Box 1600, Port Elizabeth, 6000 South Africa
e-mail: csabhv@upe.ac.za (now hermanv@microsoft.com)
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.
Keywords: Data Structures, Functional Data Model, Sets, Lists, Records
Computing Reviews Categories: D.3.3, E.2.1
Presented at Vth S A Computer Symposium