activity
20182020
most citedOne Monad to Prove Them All

7 citations · 7 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

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…