Write a Blog >>
Tue 21 Jan 2020 16:05 - 16:35 at St Claude - D

We illustrate the close connections between name generation and probabilistic programming. By interpreting name generation as random sampling, we obtain a new denotational semantics for name generation. Using a novel analysis of distributions on function spaces, we can show that this semantics is actually very fine-grained.

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

lafi-2020
15:35 - 17:45: LAFI (né PPS) - D at St Claude
lafi-202015:35 - 16:05
Talk
Alexander BagnallOhio University, Gordon StewartOhio University, Anindya BanerjeeIMDEA Software Institute
lafi-202016:05 - 16:35
Talk
Dario SteinUniversity of Oxford, Sam StatonUniversity of Oxford, Michael WolmanMcGill University
File Attached
lafi-202016:35 - 17:05
Talk
Tom MattinsonUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
lafi-202017:05 - 17:35
Talk
lafi-202017:35 - 17:45
Day closing