FP with data abstraction and strong typing.

John V. Guttag James J. Horning John Williams

Published in: FPCA (1981)

Keyphrases

data abstraction
conceptual modelling
database management
conceptual modeling
formal specification
programming language
object oriented databases
object oriented
abstract data types
high level
data model
general purpose
database
data warehouse
domain knowledge
relational databases
information systems