A Type Discipline for Program Modules.

Robert Harper Robin Milner Mads Tofte

Published in: TAPSOFT, Vol.2 (1987)

Keyphrases

data sets
real time
computer science
databases
data structure
special case
information retrieval
genetic algorithm
information systems
knowledge base
software engineering
reverse engineering
programming environment
functional modules