Conference item icon

Conference item

The Beta-Bernoulli process and algebraic effects

Abstract:

In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our analysis reveals the importance of abstract data types, and two types of program equations, called commutativity and discardability. We develop an equational theory of terms that use the BetaBernoulli process, and show that the theory is complete with respect to the measure-theoretic semantics, and also in the syntact...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.ICALP.2018.141

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
Expand authors...
More from this funder
Grant:
2015-0-00565, Development of Vulnerability Discovery Technologies for IoT Software Security
Publisher:
Schloss Dagstuhl Publisher's website
Volume:
107
Pages:
141:1--141:15
Series:
Leibniz International Proceedings in Informatics
Publication date:
2018-06-29
Acceptance date:
2018-04-16
DOI:
ISSN:
1868-8969
Pubs id:
pubs:847761
URN:
uri:437b8648-818d-436f-9661-0d8ed8c3c837
UUID:
uuid:437b8648-818d-436f-9661-0d8ed8c3c837
Local pid:
pubs:847761
ISBN:
978-3-95977-076-7

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP