3 papers
cs.PL2020
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
Sandra Dylus
This thesis investigates effectful declarative programming with an emphasis on non-determinism as an effect. On the one hand, we are interested in developing applications using non…
cs.PL2019
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
Sandra Dylus, Jan Christiansen, Finn Teegen
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic program…
cs.PL2018
One Monad to Prove Them All
Sandra Dylus, Jan Christiansen, Finn Teegen
One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adv…