Type Checking Systems Code.

J. Gregory Morrisett

Published in: ESOP (2002)

Keyphrases

database
data structure
response time
distributed systems
expressive power
type checking
databases
data mining
expert systems