Towards an ML-Style Polymorphic Type System for C.

Geoffrey Smith Dennis M. Volpano

Published in: ESOP (1996)

Keyphrases

maximum likelihood
type checking
feature selection
digital libraries
databases
real world
information retrieval
e learning
training data
optimal solution
multiple types