A Simple Proof Technique for Certain Parametricity Results.

Published in: ICFP (1999)

Keyphrases

neural network
machine learning
cooperative
search algorithm
genetic algorithm
image processing
relational databases
management system
black box