Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameFrisco+Burlington Route
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:00
10:20
40m
Talk
Finding fixed points faster
HOPE
Michael ArntzeniusUniversity of Birmingham, UK
11:20 - 12:00
11:20
40m
Talk
A Metalanguage for Guarded Iteration
HOPE
Sergey GoncharovFriedrich-Alexander-Universität Erlangen-Nürnberg, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
13:30 - 14:10
13:30
40m
Talk
Functional programming with MLTS
HOPE
14:30 - 15:10
14:30
40m
Talk
Taming Control Flow through Linear Effect Handlers
HOPE
Daan LeijenMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
15:30 - 16:10
15:30
40m
Talk
A domain theory for statistical probabilistic programming
HOPE
Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change