A probabilistic language based upon sampling functions
From MaRDI portal
Recommendations
- An application of computable distributions to the semantics of probabilistic programming languages
- A lambda-calculus foundation for universal probabilistic programming
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Probabilistic logic programming for hybrid relational domains
- Probabilistic (logic) programming concepts
Cited in
(17)- Measure transformer semantics for Bayesian machine learning
- scientific article; zbMATH DE number 7015236 (Why is no real title available?)
- Probabilistic modelling, inference and learning using logical theories
- A Type Theory for Probabilistic \lambda –calculus
- Correctness of sequential Monte Carlo inference for probabilistic programming languages
- An application of computable distributions to the semantics of probabilistic programming languages
- Formalization of the standard uniform random variable
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- A domain-theoretic approach to statistical programming languages
- Probabilistic reasoning in a classical logic
- scientific article; zbMATH DE number 7566061 (Why is no real title available?)
- Automation of quantitative information-flow analysis
- Proofs of randomized algorithms in Coq
- Probabilistic operational semantics for the lambda calculus
- scientific article; zbMATH DE number 7559285 (Why is no real title available?)
- A logic of knowledge and justifications, with an application to computational trust
This page was built for publication: A probabilistic language based upon sampling functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5276144)
