Polymorphism and separation in hoare type theory.

Aleksandar Nanevski Greg Morrisett Lars Birkedal

Published in: ICFP (2006)

Keyphrases

theoretical framework
databases
theoretical basis
data sets
computational model
information theory
machine learning
artificial intelligence
decision trees
three dimensional
special case
conceptual framework