Application of Computable Distributions to the Semantics of Probabilistic Programs

Daniel Huang, Greg Morrisett, Bas Spitters

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

29 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Foundations of Probabilistic Programming
Redaktører	Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Antal sider	46
Forlag	Cambridge University Press
Publikationsdato	2020
Sider	75-120
Kapitel	3
ISBN (Elektronisk)	9781108770750
DOI	https://doi.org/10.1017/9781108770750
Status	Udgivet - 2020

Adgang til dokumentet

@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. red. / Gilles Barthe; Joost-Pieter Katoen; Alexandra Silva. Cambridge University Press, 2020. s. 75-120.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › 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 -