Bindings as bounded natural functors.

Jasmin Christian Blanchette Lorenzo Gheri Andrei Popescu Dmitriy Traytel

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

Keyphrases

real world
data mining
artificial intelligence
neural network
case study
cooperative
lower bound
np complete