A Sound Polymorphic Type System for a Dialect of C.

Geoffrey Smith Dennis M. Volpano

Published in: Sci. Comput. Program. (1998)

Keyphrases

type checking
databases
neural network
data mining
artificial intelligence
search engine
feature space
multiresolution
hidden markov models
inference rules