The Type Theory of PL/CV3.

Robert L. Constable Daniel R. Zlatin

Published in: ACM Trans. Program. Lang. Syst. (1984)

Keyphrases

theoretical framework
theoretical foundation
data mining
information retrieval
case study
database systems
data sets
decision making
three dimensional
computational model
theoretical basis
general theory