What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).

Guillaume Boisseau Jeremy Gibbons

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

machine vision
causal models
belief revision
key concepts
johnson lindenstrauss
real time
data mining
machine learning
information retrieval
decision trees
similarity measure
imaging systems
image sensor
functional verification