An Application of Computable Distributions to the Semantics of Probabilistic Programs

Daniel Huang, Greg Morrisett, Bas Spitters

Publikation: AndetUdgivelser på nettet - Net-publikationForskning

76 Downloads (Pure)

Abstract

In this chapter, we explore how (Type-2) computable distributions can be used to give both distributional and (algorithmic) sampling semantics to probabilistic programs with continuous distributions. Towards this end, we first sketch an encoding of computable distributions in a fragment of Haskell. Next, we show how topological domains can be used to model the resulting PCF-like language. Throughout, we hope to emphasize the connection of such an approach with ordinary programming.
OriginalsprogEngelsk
Publikationsdato20 jun. 2018
UdgiverCornell University
Antal sider46
StatusUdgivet - 20 jun. 2018
NavnarXiv

Emneord

  • cs.PL

Fingeraftryk

Dyk ned i forskningsemnerne om 'An Application of Computable Distributions to the Semantics of Probabilistic Programs'. Sammen danner de et unikt fingeraftryk.

Citationsformater