All sorts of permutations (functional pearl). - Jan Christiansen; Nikita Danilenko; Sandra Dylus (ICFP, 2016)

Probabilistic Functional Logic Programming. - Sandra Dylus; Jan Christiansen; Finn Teegen (PADL, 2018)

One Monad to Prove Them All (Functional Pearl). - Jan Christiansen; Sandra Dylus; Finn Teegen (CoRR, 2018)

Verifying effectful Haskell programs in Coq. - Jan Christiansen; Sandra Dylus; Niels Bunkenburg (Haskell@ICFP, 2019)

One Monad to Prove Them All. - Sandra Dylus; Jan Christiansen; Finn Teegen (Art Sci. Eng. Program., 2019)

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. - Sandra Dylus (CoRR, 2020)

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. - Sandra Dylus; Jan Christiansen; Finn Teegen (Theory Pract. Log. Program., 2020)

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. - Sandra Dylus (2020)