Corpus ID: 14177660

Building inference algorithms from monad transformers

  title={Building inference algorithms from monad transformers},
  author={A. Scibior and Yufei Cai Klaus},
  • A. Scibior, Yufei Cai Klaus
  • Published 2016
  • 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. We are also working towards formalizing those concepts as monadic denotational semantics for inference algorithms. 


    Monad transformers and modular interpreters
    • 558
    • PDF