Efficient Mendler-Style Lambda-Encodings in Cedille.

Denis Firsov Richard Blair Aaron Stump

Published in: ITP (2018)

Keyphrases

computationally expensive
database
real world
computer vision
reinforcement learning
data mining
machine learning
high level
similarity measure
wide range
medical images
lightweight
cost effective