Login / Signup
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