Login / Signup
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