A Simply Typed λ-Calculus of Forward Automatic Differentiation.

Oleksandr Manzyuk

Published in: MFPS (2012)

Keyphrases

higher order
semi automatic
fully automatic
machine learning
artificial intelligence
computer vision
data driven
real time
information retrieval
knowledge base
algebraic structure
lambda calculus