A Lambda-Calculus Foundation for Universal Probabilistic Programming.

Johannes Borgström Ugo Dal Lago Andrew D. Gordon Marcin Szymczak

Published in: CoRR (2015)

Keyphrases

lambda calculus
programming language
program understanding
high level
software engineering
database query languages
predicate calculus
object oriented
software maintenance
databases
pairwise
logic programming
user defined
integrity constraints
computer programming