Elaborator reflection: extending Idris in Idris.

David R. Christiansen Edwin C. Brady

Published in: ICFP (2016)

Keyphrases

wide range
artificial intelligence
data sets
database
real world
multimedia
pattern recognition
input image
single image
specular reflection