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

POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Tutorial 7A at Sala IX
POPL-2019-TutorialFest14:00 - 15:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Tutorial 7B at Sala IX
POPL-2019-TutorialFest16:00 - 17:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print