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: Texas Special
Venue
Union Station Hilton
Room name
Texas Special
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
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Keynote
NPFL 2018
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
09:00
60m
Day opening
Daisy - a framework for sound accuracy analysis and optimization of numerical programs
NPFL 2018
Eva Darulova
MPI-SWS
10:20 - 11:20
Talks I
NPFL 2018
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
10:20
30m
Talk
Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
NPFL 2018
Sam Stites
Sentenai
,
Austin Huang
Pfizer
10:50
30m
Talk
APLicative Programming with Naperian Functors
NPFL 2018
Jeremy Gibbons
Department of Computer Science, University of Oxford
11:20 - 12:00
Talks II
NPFL 2018
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
11:20
40m
Talk
Error analysis almost for free
NPFL 2018
Eva Richter
Potsdam University
,
Matti Richter
Potsdam University
13:30 - 14:30
Talks III
NPFL 2018
at
Texas Special
Chair(s):
Jeremy Gibbons
Department of Computer Science, University of Oxford
13:30
30m
Talk
A Haskell Interface to Sundials via inline-c
NPFL 2018
Dominic Steinitz
Tweag I/O
14:00
30m
Talk
On the Calculation of Functions in the Algebra of Physical Space
NPFL 2018
Nathan Waivio
https://github.com/waivio
14:30 - 15:10
Talks IV
NPFL 2018
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
14:30
40m
Talk
Manifolds as Haskell types
NPFL 2018
Justus Sagemüller
Universität zu Köln, Institut für Geophysik und Meteorologie
15:30 - 16:10
Talks V
NPFL 2018
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
15:30
40m
Talk
Exact Real Arithmetic for Geometric Operations
NPFL 2018
Pavel Panchekha
University of Washington
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 12:00
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
ICFP Tutorials
at
Texas Special
Chair(s):
Ronald Garcia
University of British Columbia
,
Éric Tanter
University of Chile & Inria Paris
09:00
3h
Other
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
ICFP Tutorials
Ronald Garcia
University of British Columbia
,
Éric Tanter
University of Chile & Inria Paris
13:00 - 16:00
T04: Beluga: Programming Proofs About Formal Systems
ICFP Tutorials
at
Texas Special
Chair(s):
Jacob Thomas Errington
McGill University
,
Aliya Hameer
McGill University
,
Brigitte Pientka
McGill University
13:00
3h
Talk
T04: Beluga: Programming Proofs About Formal Systems
ICFP Tutorials
Brigitte Pientka
McGill University
,
Jacob Thomas Errington
McGill University
,
Aliya Hameer
McGill University
Sat 29 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 12:00
T07: Writing a chat system in Pony
ICFP Tutorials
at
Texas Special
Chair(s):
Andrew Turley
09:00
3h
Other
T07: Writing a chat system in Pony
ICFP Tutorials
Andrew Turley
13:00 - 16:00
T10: Hop.js: JavaScript multitier programming
ICFP Tutorials
at
Texas Special
Chair(s):
Manuel Serrano
Inria, France
13:00
3h
Other
T10: Hop.js: JavaScript multitier programming
ICFP Tutorials
Manuel Serrano
Inria, France
Thu 27 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
Texas Special
NPFL 2018
Keynote
NPFL 2018
Talks I
NPFL 2018
Talks II
NPFL 2018
Talks III
NPFL 2018
Talks IV
NPFL 2018
Talks V
Fri 28 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
Texas Special
ICFP Tutorials
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
ICFP Tutorials
T04: Beluga: Programming Proofs About Formal Systems
Sat 29 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
Texas Special
ICFP Tutorials
T07: Writing a chat system in Pony
ICFP Tutorials
T10: Hop.js: JavaScript multitier programming
Thu 27 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
Texas Special
NPFL
Daisy - a framework for sound accuracy analysis and optimization of num ...
09:00 - 10:00
NPFL
Hasktorch: A Comprehensive Haskell Library for Differentiable Functiona ...
10:20 - 10:50
NPFL
APLicative Programming with Naperian Functors
10:50 - 11:20
NPFL
Error analysis almost for free
11:20 - 12:00
NPFL
A Haskell Interface to Sundials via inline-c
13:30 - 14:00
NPFL
On the Calculation of Functions in the Algebra of Physical Space
14:00 - 14:30
NPFL
Manifolds as Haskell types
14:30 - 15:10
NPFL
Exact Real Arithmetic for Geometric Operations
15:30 - 16:10
Fri 28 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
Texas Special
ICFP Tutorials
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gra ...
09:00 - 12:00
ICFP Tutorials
T04: Beluga: Programming Proofs About Formal Systems
13:00 - 16:00
Sat 29 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
Texas Special
ICFP Tutorials
T07: Writing a chat system in Pony
09:00 - 12:00
ICFP Tutorials
T10: Hop.js: JavaScript multitier programming
13:00 - 16:00
x
Sun 24 Nov 10:12