Media Summary: Presented at the joint PPS-PIHOC-DIAPASoN Workshop 2021. Recorded at the ML in PL 2019 Conference, the University of Warsaw, This video is a continuation of the previous video, Episode [08x10]. In this video, get a high-level overview of the theory, concepts ...
Lafi 22 Abstract Types In Probabilistic Programming - Detailed Analysis & Overview
Presented at the joint PPS-PIHOC-DIAPASoN Workshop 2021. Recorded at the ML in PL 2019 Conference, the University of Warsaw, This video is a continuation of the previous video, Episode [08x10]. In this video, get a high-level overview of the theory, concepts ... Daniel Roy, University of Toronto Uncertainty in Computation. Semantic Foundations for Laziness in Discrete
![[LAFI'22] Abstract types in probabilistic programming](https://i.ytimg.com/vi/bx0HQPhdbS4/mqdefault.jpg)
![[LAFI'22] Program Analysis of Probabilistic Programs](https://i.ytimg.com/vi/617cLBYvP9Q/mqdefault.jpg)
![[LAFI'22] Stateful processes in probabilistic programming](https://i.ytimg.com/vi/ISx5nzNUc0s/mqdefault.jpg)
![[08x11] What is Probabilistic Programming?](https://i.ytimg.com/vi/eafbKLSN_xQ/mqdefault.jpg)
![[LAFI'26] Typed Abstractions for Causal Probabilistic Programming](https://i.ytimg.com/vi/HMlfTM4hPsI/mqdefault.jpg)
![[LAFI'26] Semantic Foundations for Laziness in Discrete Probabilistic Programming](https://i.ytimg.com/vi/noY5R-zbnPs/mqdefault.jpg)
![[LAFI'26] Language-Model Probabilistic Programming for Improving Autoformalization via Cycle(…)](https://i.ytimg.com/vi/24ftI6M0qm0/mqdefault.jpg)
![[LAFI'25] Sandwood: Runtime Adaptable Probabilistic Programming for Java (Remote)](https://i.ytimg.com/vi/oDpfvx567ik/mqdefault.jpg)
![[LAFI'26] Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata](https://i.ytimg.com/vi/zcs8Kl4_qik/mqdefault.jpg)
![[LAFI'25] Semantics of the memo Probabilistic Programming Language](https://i.ytimg.com/vi/iPiOh7_Q30w/mqdefault.jpg)
