A theory of typed coercions and its applications.

Nikhil Swamy Michael W. Hicks Gavin M. Bierman

Published in: ICFP (2009)

Keyphrases

higher order
cooperative
theoretical framework
artificial intelligence
neural network
genetic algorithm
support vector
natural language
computational models
information theory
theoretical basis
general theory