Enumerating Well-Typed Terms Generically.

Alexey Rodriguez Yakushev Johan Jeuring

Published in: AAIP (2009)

Keyphrases

higher order
background knowledge
real time
three dimensional
support vector
relational databases
artificial neural networks
co occurrence