Sandra Dylus

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 8

Top Topics

Declarative Language

Probabilistic Approaches

Formal Ontologies

Top Venues

Publications

Sandra Dylus, Jan Christiansen, Finn Teegen
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. Theory Pract. Log. Program. 20 (1) (2020)
Sandra Dylus
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. CoRR (2020)
Sandra Dylus, Jan Christiansen, Finn Teegen
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. CoRR (2019)
Sandra Dylus, Jan Christiansen, Finn Teegen
One Monad to Prove Them All. Art Sci. Eng. Program. 3 (3) (2019)
Jan Christiansen, Sandra Dylus, Niels Bunkenburg
Verifying effectful Haskell programs in Coq. Haskell@ICFP (2019)
Sandra Dylus, Jan Christiansen, Finn Teegen
Probabilistic Functional Logic Programming. PADL (2018)
Jan Christiansen, Sandra Dylus, Finn Teegen
One Monad to Prove Them All (Functional Pearl). CoRR (2018)
Jan Christiansen, Nikita Danilenko, Sandra Dylus
All sorts of permutations (functional pearl). ICFP (2016)