Publikationen
2020
- (2020). Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism. Theory And Practice Of Logic Programming, 20, 147-175. http://doi.org/10.1017/S1471068419000085.
2019
One Monad to Prove Them All
(2019). One Monad to Prove Them All. The Art, Science, And Engineering Of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8.Abstract
Exportformate
Weiterführende Links
Filter Tags
2018
Probabilistic Functional Logic Programming
(2018). Probabilistic Functional Logic Programming. In Practical Aspects of Declarative Languages (S. 3-19). Springer International Publishing..Abstract
Exportformate
Weiterführende Links
Filter Tags