YAPPL
Yet Another Probabilistic Programming Language
A simple interpreted language where probability is a first-class concern for the language; it has functionality for basic operations (declaring variables, performing arithmetic, basic functions), working with probability distributions, and writing probabilistic functions.
Formal specification of YAPPL's syntax and semantics (also attached to the dissertation).
Download PDF