Fully abstract compilation via universal embedding.

Max S. New William J. Bowman Amal Ahmed

Published in: ICFP (2016)

Keyphrases

vector space
high level
data hiding
machine learning
computer vision
higher level
knowledge compilation
data embedding
turing machine
kolmogorov complexity