Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages.

Alexander K. Lew Mathieu Huot Vikash K. Mansinghka

Published in: CoRR (2021)

Keyphrases

higher order
denotational semantics
programming language
high order
expressive power
probabilistic model
query language
pairwise
operational semantics
databases
abstract data types
object oriented
general purpose
markov random field
database
search engine
data types