Probabilistic Inference by Program Transformation in Hakaru (System Description)

DOI10.1007/978-3-319-29604-3_5zbMath1475.68072OpenAlexW2395654200WikidataQ60712709 ScholiaQ60712709MaRDI QIDQ2798260

Jacques Carette, Robert Zinkov, Wren Romano, Chung-Chieh Shan, Praveen Narayanan

Publication date: 4 April 2016

Published in: Functional and Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

AQUA: automated quantized inference for probabilistic programs ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Distribution estimation for probabilistic loops ⋮ Unnamed Item ⋮ Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring ⋮ Commutative Semantics for Probabilistic Programming

Uses Software

• Church
• Hakaru
• Venture

Cites Work

• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Stochastic lambda calculus and monads of probability distributions
• Unnamed Item
• Unnamed Item