Publikationen
- (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.
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
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
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
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
A Semantics for Weakly Encapsulated Search in Functional Logic Programs
(2013). A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 13 (S. 49-60). ACM Press. http://doi.org/10.1145/2505879.2505896.Abstract
Exportformate
Weiterführende Links
Filter Tags
Minimally Strict Polymorphic Functions
(2011). Minimally Strict Polymorphic Functions. In Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming - PPDP 11 (S. 53). ACM Press. http://doi.org/10.1145/2003476.2003487.Abstract
Exportformate
Weiterführende Links
Filter Tags
Sloth – a Tool for Checking Minimal-Strictness
(2011). Sloth – a Tool for Checking Minimal-Strictness. In R. Rocha & Launchbury, J. (Hrsg.), Practical Aspects of Declarative Languages (S. 160-174). Springer Berlin Heidelberg..Abstract
Exportformate
Weiterführende Links
Filter Tags
Free Theorems for Functional Logic Programs
(2010). Free Theorems for Functional Logic Programs. In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (S. 39-48). http://doi.org/10.1145/1707790.1707797.Exportformate
Weiterführende Links
Filter Tags
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
(2010). An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. In International Workshop on Functional and Constraint Logic Programming (S. 119-136). http://doi.org/10.1007/978-3-642-20775-4_7.Exportformate
Weiterführende Links
Filter Tags