An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages.

Daniel Huang, Greg Morrisett

Browse the full ESOP paper archive.