Logo

The Design and Implementation of Probabilistic Programming Languages

Small book cover: The Design and Implementation of Probabilistic Programming Languages

The Design and Implementation of Probabilistic Programming Languages
by

Publisher: dippl.org
Number of pages: 215

Description:
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing and implementing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference, including priority-based enumeration with caching, particle filtering, and Markov chain Monte Carlo.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Denotational Semantics: A Methodology for Language DevelopmentDenotational Semantics: A Methodology for Language Development
by - Kansas State University
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.
(7780 views)
Book cover: Formal Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(11351 views)
Book cover: Formal Language Theory for Natural Language ProcessingFormal Language Theory for Natural Language Processing
by - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(6693 views)
Book cover: Concrete Semantics: With Isabelle/HOLConcrete Semantics: With Isabelle/HOL
by - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(2742 views)