Probabilistic Inference by Program Transformation in Hakaru (System Description)

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

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

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

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

Uses Software

• Church
• Hakaru
• Venture