Media Summary: Advances in inference algorithms and probability theory have spurred recent interest in BCS FACS Evening Seminar 17 November 2022 Speaker: Presented by Hongseok Yang. Presented at POPL'20.
Tutorial Probabilistic Programming A Categorical Tutorial Sam Staton - Detailed Analysis & Overview
Advances in inference algorithms and probability theory have spurred recent interest in BCS FACS Evening Seminar 17 November 2022 Speaker: Presented by Hongseok Yang. Presented at POPL'20. Title: Recursion and Sequentiality in Categories of Sheaves Abstract: We present a fully abstract model of a call-by-value ...
![[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)](https://i.ytimg.com/vi/BNlfSrz3Yyo/mqdefault.jpg)
![Probabilistic programming: Bayesian Non-Parametrics and Semantics [1/4] - Sam Staton - OPLSS 2019](https://i.ytimg.com/vi/rZJJAobaQxM/mqdefault.jpg)