Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 11:00 - 11:30 at Sala VI - B Chair(s): Steven Holtzen

We give a geometry of interaction model for a typed lambda-calculus with operators for sampling and soft conditioning. The calculus can as such be seen as a paradigmatic calculus for higher-order bayesian programming languages, like ANGLICAN or CHURCH. We present the model in two flavors, the former corresponding to an idealized, thus not executable, learning algorithm, the latter allowing to see the learning algorithm as part of the of the environment.

Tue 15 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

11:00 - 12:30: LAFI (né PPS) - B at Sala VI
Chair(s): Steven HoltzenUniversity of California, Los Angeles
lafi-201911:00 - 11:30
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Naohiko HoshinoKyoto University
lafi-201911:30 - 12:00
Eli SenneshNortheastern University, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Hao WuNortheastern University, Jan-Willem van de MeentNortheastern University
File Attached
lafi-201912:00 - 12:30
Media Attached