Pages that link to "Item:Q2802431"
From MaRDI portal
The following pages link to A Verified Compiler for Probability Density Functions (Q2802431):
Displaying 9 items.
- Density Compiler (Q40373) (← links)
- A software tool for automatically verified operations on intervals and probability distributions (Q1383757) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Verified analysis of random binary tree structures (Q5919010) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)