Syntactic type abstraction.

Dan Grossman J. Gregory Morrisett Steve Zdancewic

Published in: ACM Trans. Program. Lang. Syst. (2000)

Keyphrases

high level
natural language
data sets
learning algorithm
metadata
website
decision trees
multi agent
artificial neural networks
evolutionary algorithm