Church: a language for generative models (original) (raw)
Related papers
Deterministic representation of probabilistic systems by ergodic machines
Mathematical Systems Theory, 1976
Natively probabilistic computation
2009
A probabilistic language based upon sampling functions
Sigplan Notices, 2005
RandVar: Implementation of random variables by means of S4 classes and methods
2011
Theory and Practice of Logic Programming, 2017
arXiv (Cornell University), 2016
Nonstandard Interpretations of Probabilistic Programs for Efficient Inference
Ergodic Theory and Arithmetical Simulation of Random Processes
Cybernetics and Systems Analysis, 2004
Reactive, Generative, and Stratified Models of Probabilistic Processes
Information and Computation, 1995
RVGEN: a tool for generation of random variates
Software - Concepts & Tools, 2000
Lightweight implementations of probabilistic programming languages via transformational compilation
2011
Probabilistic and weighted grammars
Information and Control, 1969
A Probabilistic and Non-Deterministic Call-by-Push-Value Language
2019
Realization of Probabilistic Automata: Categorical Approach
Lecture Notes in Computer Science, 2000
WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming
Universal Generators for Correlation Induction
Compstat, 1994
Composing Modeling and Inference Operations with Probabilistic Program Combinators
2018
Probabilistic Operational Semantics for the Lambda Calculus
2011
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases
Journal of Logical and Algebraic Methods in Programming, 2015
Duke Mathematical Journal, 1996
A logical duality for underspecified probabilistic systems
Information and Computation, 2011
Hierarchical P Systems with Randomized Right-Hand Sides of Rules
Lecture Notes in Computer Science, 2017
Automatic nonuniform random variate generation
Computational Statistics, 2004
Bisimulation and cocongruence for probabilistic systems
Josée Desharnais, François Laviolette
Information and Computation, 2006
A demonic approach to information in probabilistic systems
On using deterministic functions to reduce randomness in probabilistic algorithms
Information and Computation, 1987
Random Self-modifiable Computation
Transactions on computational science and computational intelligence, 2021
A New Object-Oriented Stochastic Modeling Language
geoinfo.tuwien.ac.at, 2000
Universal Aspects of Probabilistic Automata
Mathematical Structures in Computer Science, 2002
Lecture 17: Pseudorandom Generators Based on Scribe Notes
2007
Abstraction for stochastic systems by Erlang’s method of stages
2008
Reduction and refinement strategies for probabilistic analysis
2002
Combinators for Modeling and Inference
2018