Stochastic lambda calculus and monads of probability distributions.

Norman Ramsey Avi Pfeffer

Published in: POPL (2002)

Keyphrases

lambda calculus
probability distribution
programming language
predicate calculus
database query languages
random variables
complex objects
program understanding
bayesian networks
database
expert systems
object oriented