Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 14:00 - 15:30 at Sala IX - Tutorial 7A
Mon 14 Jan 2019 16:00 - 17:30 at Sala IX - Tutorial 7B

This tutorial is meant to be an introduction to the principles of randomized and bayesian higher-order programming languages. We will start by giving some simple examples of probabilistic higher-order programs, written in generic or domain specific functional programming languages. Particular attention will be given in highlighting why sampling and conditioning can be useful in programming, and how the metatheory of higher-order probabilistic programming differs from the one of its deterministic sibling.

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

14:00 - 15:30: Tutorial 7ATutorialFest at Sala IX
14:00 - 15:30
Talk
TutorialFest
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print
16:00 - 17:30: Tutorial 7BTutorialFest at Sala IX
16:00 - 17:30
Talk
TutorialFest
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print