research
∙
06/02/2020
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
This thesis investigates effectful declarative programming with an empha...
share
research
∙
05/17/2019
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
This paper presents PFLP, a library for probabilistic programming in the...
research
∙
05/21/2018
