NPFL 2018
Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States
co-located with
ICFP 2018
Toggle navigation
Attending
Venue: Stifel Theatre
Venue: Union Station Hilton
Party Spot: City Museum
Concert Hall: The Luminary
Program
NPFL Program
Your Program
Filter by Day
Sun 23 Sep
Mon 24 Sep
Tue 25 Sep
Wed 26 Sep
Thu 27 Sep
Fri 28 Sep
Sat 29 Sep
Track/Call
Organization
NPFL 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2018
(
series
) /
NPFL 2018 (
series
) /
Union Station Hilton
/
Room information: Frisco+Burlington Route
Venue
Union Station Hilton
Room name
Frisco+Burlington Route
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
morning-1
HOPE
at
Frisco+Burlington Route
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
morning-2
HOPE
at
Frisco+Burlington Route
10:20
40m
Talk
Finding fixed points faster
HOPE
Michael Arntzenius
University of Birmingham, UK
11:20 - 12:00
morning-3
HOPE
at
Frisco+Burlington Route
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
afternoon-1
HOPE
at
Frisco+Burlington Route
13:30
40m
Talk
Functional programming with MLTS
HOPE
Ulysse Gérard
INRIA
,
Dale Miller
INRIA
,
Gabriel Scherer
INRIA Saclay
14:30 - 15:10
afternoon-2
HOPE
at
Frisco+Burlington Route
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
afternoon-3
HOPE
at
Frisco+Burlington Route
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Frisco+Burlington Route
HOPE
morning-1
HOPE
morning-2
HOPE
morning-3
HOPE
afternoon-1
HOPE
afternoon-2
HOPE
afternoon-3
Sun 23 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Frisco+Burlington Route
HOPE
A preview of a tutorial on L (polarized μμ̃)
09:00 - 10:00
HOPE
Finding fixed points faster
10:20 - 11:00
HOPE
A Metalanguage for Guarded Iteration
11:20 - 12:00
HOPE
Functional programming with MLTS
13:30 - 14:10
HOPE
Taming Control Flow through Linear Effect Handlers
14:30 - 15:10
HOPE
A domain theory for statistical probabilistic programming
15:30 - 16:10
x
Sun 24 Nov 10:12