Deriving a probability density calculator (functional pearl)

DOI10.1145/2951913.2951922zbMath1360.68331OpenAlexW2509177030MaRDI QIDQ2982001

Wazim Mohammed Ismail, Chung-Chieh Shan

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2951913.2951922

zbMATH Keywords

equational reasoningprobability density functionsprobability measurescontinuationsprogram calculation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Densities of almost surely terminating probabilistic programs are differentiable almost everywhere

This page was built for publication: Deriving a probability density calculator (functional pearl)