Foundations of Type-Driven Probabilistic Modelling
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore the semantic foundations of probabilistic and statistical modelling in this comprehensive tutorial from TutorialFest at POPL'24. Delve into the use of types to introduce, utilize, and organize abstractions for probabilistic modelling, starting with discrete probability and progressing to the recently-developed quasi-Borel spaces. Gain hands-on experience through accompanying exercises for self-study, allowing you to develop a working knowledge of the subject matter. Led by Ohad Kammar, this 1 hour and 55 minute session offers a deep dive into the latest breakthroughs in the field, providing valuable insights for researchers and practitioners in probabilistic programming and type theory.
Syllabus
[TutorialFest@POPL'24] Foundations of Type-Driven Probabilistic Modelling
Taught by
ACM SIGPLAN
Related Courses
Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22Yale University via YouTube Introduction to programming with dependent types in Scala
Stepik Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube