Inductive Families Need Not Store Their Indices.

Edwin C. Brady Conor McBride James McKinna

Published in: TYPES (2003)

Keyphrases

inductive learning
machine learning
knowledge representation
data mining
artificial intelligence
search algorithm
natural language
user interface
evolutionary algorithm
concept learning
deductive reasoning
functional programs