A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences.
Ki Yung AhnTim SheardPublished in: ICFP (2011)
Keyphrases
- data types
- user defined
- data model
- data structure
- positive and negative
- inductive learning
- database systems
- database management systems
- concept learning
- functional programs
- deductive databases
- complex objects
- real time
- inductive reasoning
- hierarchical organization
- machine learning
- knowledge representation
- higher level
- high dimensional
- similarity measure
- decision trees
- hierarchical structure
- website
- knowledge base
- information systems
- neural network
- databases
- hierarchically organized
- data sets
- deductive reasoning
- database