On Monadic Parametricity of Second-Order Functionals.

Andrej Bauer Martin Hofmann Aleksandr Karbyshev

Published in: FoSSaCS (2013)

Keyphrases

higher order
deductive databases
special case
datalog queries
neural network
datalog programs
hessian matrix
high order
fourth order
machine learning
knowledge base
image processing
clustering algorithm