Application of Computable Distributions to the Semantics of Probabilistic Programs

Daniel Huang, Greg Morrisett, Bas Spitters

Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review

25 Citations (Scopus)

Original language	English
Title of host publication	Foundations of Probabilistic Programming
Editors	Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Number of pages	46
Publisher	Cambridge University Press
Publication date	2020
Pages	75-120
Chapter	3
ISBN (Electronic)	9781108770750
DOIs	https://doi.org/10.1017/9781108770750
Publication status	Published - 2020

Access to Document

@inbook{073d5dbf12504bd889efcdd20ad3145d,

title = "Application of Computable Distributions to the Semantics of Probabilistic Programs",

author = "Daniel Huang and Greg Morrisett and Bas Spitters",

year = "2020",

doi = "10.1017/9781108770750",

language = "English",

pages = "75--120",

editor = "Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva",

booktitle = "Foundations of Probabilistic Programming",

publisher = "Cambridge University Press",

}

Application of Computable Distributions to the Semantics of Probabilistic Programs. / Huang, Daniel; Morrisett, Greg; Spitters, Bas.
Foundations of Probabilistic Programming. ed. / Gilles Barthe; Joost-Pieter Katoen; Alexandra Silva. Cambridge University Press, 2020. p. 75-120.

Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Application of Computable Distributions to the Semantics of Probabilistic Programs

AU - Huang, Daniel

AU - Morrisett, Greg

AU - Spitters, Bas

PY - 2020

Y1 - 2020

U2 - 10.1017/9781108770750

DO - 10.1017/9781108770750

M3 - Book chapter

SP - 75

EP - 120

BT - Foundations of Probabilistic Programming

A2 - Barthe, Gilles

A2 - Katoen, Joost-Pieter

A2 - Silva, Alexandra

PB - Cambridge University Press

ER -