Formalizing the SAFECode Type System.

Daniel Huang Greg Morrisett

Published in: CPP (2013)

Keyphrases

database
information systems
metadata
long term
neural network
genetic algorithm
decision trees
face recognition
similarity measure
query language
multiple types