NPFL 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
09:00
60m
Talk
A preview of a tutorial on L (polarized μμ̃)
HOPE
Kenji Maillard Inria Paris and ENS Paris, Étienne Miquey INRIA, Xavier Montillet INRIA, Guillaume Munch-Maccagnoni Inria, Gabriel Scherer INRIA Saclay
10:20 - 11:00
10:20
40m
Talk
Finding fixed points faster
HOPE
Michael Arntzenius University of Birmingham, UK
11:20 - 12:00
11:20
40m
Talk
A Metalanguage for Guarded Iteration
HOPE
Sergey Goncharov Friedrich-Alexander-Universität Erlangen-Nürnberg, Christoph Rauch FAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz Schröder FAU Erlangen-Nürnberg, Lehrstuhl 8
13:30 - 14:10
13:30
40m
Talk
Functional programming with MLTS
HOPE
Ulysse Gérard INRIA, Dale Miller INRIA, Gabriel Scherer INRIA Saclay
14:30 - 15:10
14:30
40m
Talk
Taming Control Flow through Linear Effect Handlers
HOPE
Daan Leijen Microsoft Research, USA, Jonathan Immanuel Brachthäuser University of Tübingen, Germany
15:30 - 16:10
15:30
40m
Talk
A domain theory for statistical probabilistic programming
HOPE
Ohad Kammar University of Oxford, Matthijs Vákár University of Oxford, Sam Staton University of Oxford
File Attached

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change