Skip to main content

Linking Theories in Probabilistic Programming

Jifeng He and C. A. R. Hoare

Journal
Inf. Sci.
Number
3−4
Pages
205−218
Volume
119
Year
1999