Time Traveling Recursion Schemes| jtobin.io
Recursive Stochastic Processes| jtobin.io
Comonadic Markov Chain Monte Carlo| jtobin.io
A Simple Embedded Probabilistic Programming Language| jtobin.io
Encoding Statistical Independence, Statically| jtobin.io