The Beta-Bernoulli process and algebraic effects by Staton, S, Stein, D, Yang, H, Ackerman, N, Freer, C, Roy, D

“…In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. …”

Structured learning and inference with neural networks and generative models by Lewis, Owen,Ph. D.Massachusetts Institute of Technology.

Get full text

Structural foundations for probabilistic programming languages by Stein, DM

“…This opens up the analysis and optimization of statistical inference procedures to tools from programming language theory.</p> <p>Much as category theory has served as a unifying model for logic and programming, we argue that probabilistic programming languages arise precisely as the internal languages of categorical probability theories. …”

A functional database by Trinder, P

“…Database and programming language theories are further integrated by describing the relational calculus in a programming language semantics. …”