research
∙
03/11/2020
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to reason un...
share
research
∙
04/04/2019
Modal Logics for Nominal Transition Systems
We define a general notion of transition system where states and action ...
research
∙
04/04/2017
Deriving Probability Density Functions from Probabilistic Functional Programs
The probability density function of a probability distribution is a fund...
research
∙
08/03/2013