A lambda-calculus foundation for universal probabilistic programming.

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

Published in: ICFP (2016)

Keyphrases

lambda calculus
programming language
program understanding
object oriented
general purpose
predicate calculus
computer programming
high level
data model
software engineering
fault localization