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
Verifying Effectful Haskell Programs in Coq
(2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125-138). ACM Press. http://doi.org/10.1145/3331545.3342592.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
2016
All Sorts of Permutations (Functional Pearl)
(2016). All Sorts of Permutations (Functional Pearl). In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (S. 168-179). ACM. http://doi.org/10.1145/2951913.2951949.Exportformate
Weiterführende Links
Filter Tags
Proving Inequational Propositions about Haskell Programs in Coq
Proving Inequational Propositions about Haskell Programs in Coq..Exportformate
Weiterführende Links
Filter Tags