Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531)
From MaRDI portal
scientific article; zbMATH DE number 7196233
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism |
scientific article; zbMATH DE number 7196233 |
Statements
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (English)
0 references
4 May 2020
0 references
probabilistic programming
0 references
functional logic programming
0 references
non-determinism
0 references
laziness
0 references
call-time choice
0 references
