Automatic compile-time synthesis of entropy-optimal Boltzmann samplers

Maciej Bendkowski

We present a famework for the automatic compilation of multi-parametric Boltzmann samplers for algebraic data types in Haskell. Our framework uses Template Haskell to synthesise ef…