Untyped Recursion Schemes and Infinite Intersection Types.

Takeshi Tsukada Naoki Kobayashi

Published in: FoSSaCS (2010)

Keyphrases

complex objects
cooperative
data sets
real world
machine learning
computer vision
face recognition
objective function
multi agent systems
query evaluation
transitive closure