Deriving a probability density calculator (functional pearl)

DOI10.1145/2951913.2951922zbMATH Open1360.68331OpenAlexW2509177030MaRDI QIDQ2982001FDOQ2982001

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

Recommendations

• Deriving probability density functions from probabilistic functional programs
• Deriving probability density functions from probabilistic functional programs
• Estimating functionals in density
• Defining probability density for a distribution of random functions
• scientific article
• On Estimation of a Functional of a Probability Density Function
• Calibration of Probability Density Function
• Computing the probability density function of the stable Paretian distribution
• Estimation of Functionals of a Density

zbMATH Keywords

probability density functionsprobability measurescontinuationsequational reasoningprogram calculation

Mathematics Subject Classification ID

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

Cited In (2)

• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
• Derivation of the probability density function for ultimate muscle pH in slaughtered animals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982001)