Venture

swMATH14670MaRDI QIDQ26567FDOQ26567

Author name not available (Why is that?)

Official website: http://arxiv.org/abs/1404.0099

Cited In (23)

• RankPL
• Declarative probabilistic programming with Datalog
• A Convenient Category for Higher-Order Probability Theory
• Quasi-Borel Spaces
• Commutative semantics for probabilistic programming
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Probabilistic inference by program transformation in Hakaru (system description)
• Church
• smfsb
• Hakaru
• VIBES
• DeepDive
• Figaro
• Biips
• Lasagne
• DENDRAL
• DeCo
• Swift
• LogiQL
• Anglican
• RankPL: a qualitative probabilistic programming language
• The beta-Bernoulli process and algebraic effects
• Automatic differentiation variational inference

This page was built for software: Venture