TY  - RPRT
TI  - An Application of Computable Distributions to the Semantics of Probabilistic Programs
AU  - Daniel Huang
AU  - Greg Morrisett
AU  - Bas Spitters
PY  - 2019
UR  - https://arxiv.org/abs/1806.07966
ID  - 1806.07966
ER  -