Deriving a probability density calculator (functional pearl)
DOI10.1145/2951913.2951922zbMATH Open1360.68331OpenAlexW2509177030MaRDI QIDQ2982001FDOQ2982001
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
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
probability density functionsprobability measurescontinuationsequational reasoningprogram calculation
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)
Cited In (6)
- Deriving probability density functions from probabilistic functional programs
- A type theory for probability density functions
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
- Deriving probability density functions from probabilistic functional programs
- Derivation of the probability density function for ultimate muscle pH in slaughtered animals
- A verified compiler for probability density functions
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)
