A foundation for GADTs and inductive families: dependent polynomial functor approach.

Makoto Hamana Marcelo P. Fiore

Published in: WGP@ICFP (2011)

Keyphrases

complex objects
inductive learning
machine learning
knowledge representation
low order
inductive inference
concept learning
distance function
real world
query language
bayesian networks
image sequences
web services
protein sequences
decision making
social networks
search engine
inductive reasoning