LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models.
Yuan ZhouBradley J. Gram-HansenTobias KohnTom RainforthHongseok YangFrank WoodPublished in: CoRR (2019)
Keyphrases
- programming language
- high level
- low level
- general purpose
- probabilistic model
- programming environment
- object oriented
- logic programming
- strongly typed
- computer programs
- denotational semantics
- database
- specification language
- software engineering
- first order logic
- abstract data types
- functional programming
- database languages
- databases