Probabilistic Programming Language and its Incremental Evaluation

DOI10.1007/978-3-319-47958-3_19zbMath1483.68054OpenAlexW2528996685MaRDI QIDQ3179303

Oleg Kiselyov

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47958-3_19

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Probabilistic graphical models (62H22)

Related Items (3)

Probabilistic Programming Language and its Incremental Evaluation ⋮ Densities of almost surely terminating probabilistic programs are differentiable almost everywhere ⋮ Hakaru10

Uses Software

• Haskell
• ProbLog
• Infer.NET
• bnsoft
• Church
• BLOG
• Figaro
• Blaise
• NUTS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
• Probabilistic Programming Language and its Incremental Evaluation
• Applicative programming with effects
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell

This page was built for publication: Probabilistic Programming Language and its Incremental Evaluation