Generic lookup and update for infinitary inductive-recursive types.

Larry Diehl Tim Sheard

Published in: TyDe@ICFP (2016)

Keyphrases

inductive learning
machine learning
computer vision
domain specific
real world
image processing
case study
multi agent
evolutionary algorithm
query processing
knowledge representation
inductive inference
recursive programs