7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…