Monthly Archives: December 2016

Building inference algorithms from monad transformers

Building inference algorithms from monad transformers

We show how to decompose popular inference algorithms into a set of simple, reusable building blocks corresponding to monad transformers. We define a collection of such building blocks and implement them in Haskell producing a library for constructing inference algorithms in a modular fashion.… Read the rest

Posted in Uncategorized | Leave a comment

Welcome

Welcome to PPS, workshop on probabilistic programming semantics, on Tuesday, 17 January 2017, colocated right before POPL. This informal workshop aims to bring programming-language and machine-learning researchers together to advance the semantic foundations of probabilistic programming.

We are delighted that Gordon Plotkin has accepted our invitation to give a talk “Towards a metric semantics for probabilistic programming“.… Read the rest

Posted in Uncategorized | Leave a comment