Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types.
Channel: MFPS 2020
Date: 2020-05-31

Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types. (Invited Talk in the Special Session on Probabilistic Programming Languages)