Deriving a probability density calculator (functional pearl)

DOI10.1145/2951913.2951922MaRDI QIDQ2982001zbMATH OpenOpenAlexFDO

Authors 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

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)

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; zbMATH DE number 4054796
• 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

Cited in

(6)

• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
• Deriving probability density functions from probabilistic functional programs
• A verified compiler for probability density functions
• Deriving probability density functions from probabilistic functional programs
• A type theory for probability density functions
• 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)