TY  - RPRT
TI  - Formal verification of higher-order probabilistic programs
AU  - Tetsuya Sato
AU  - Alejandro Aguirre
AU  - Gilles Barthe
AU  - Marco Gaboardi
AU  - Deepak Garg
AU  - Justin Hsu
PY  - 2020
DO  - 10.1145/3290351
UR  - https://arxiv.org/abs/1807.06091
ID  - 1807.06091
ER  -