Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States
Toggle navigation
Attending
Venue: Stifel Theatre
Venue: Union Station Hilton
Party Spot: City Museum
Concert Hall: The Luminary
Registration
Considering attending ICFP for the first time?
Local Arrangements
Call for Sponsorship
Code of Conduct
Accessibility
Students
Student Volunteering
Visas
Program
ICFP 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
Tracks
ICFP 2018
Research Artifacts
Keynotes and Reports
Programming Contest
Research Papers
Social Events
Student Research Competition
Tutorials
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
NPFL
OCaml
PLMW @ ICFP
Scheme
TyDe
Co-hosted Symposia
Haskell
Scala
Organization
ICFP 2018 Committees
Organizing Committee
Steering Committee
Track Committees
Research Artifacts
Programming Contest
Research Papers
Program Committee
External Review Committee
Distinguished Papers Committee
Student Research Competition
Poster and Presentation Judges
Selection Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Organizing Committee
Program Committee
ML
Program Committee
NPFL
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Speakers
Organizing Committee
Scheme
Program Committee
Organizing Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Scala
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 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
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
Eva Darulova
MPI-SWS
10:20 - 11:20
Talks I
NPFL
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
10:20
30m
Talk
Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
NPFL
Sam Stites
Sentenai
,
Austin Huang
Pfizer
10:50
30m
Talk
APLicative Programming with Naperian Functors
NPFL
Jeremy Gibbons
Department of Computer Science, University of Oxford
11:20 - 12:00
Talks II
NPFL
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
11:20
40m
Talk
Error analysis almost for free
NPFL
Eva Richter
Potsdam University
,
Matti Richter
Potsdam University
13:30 - 14:30
Talks III
NPFL
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
Dominic Steinitz
Tweag I/O
14:00
30m
Talk
On the Calculation of Functions in the Algebra of Physical Space
NPFL
Nathan Waivio
https://github.com/waivio
14:30 - 15:10
Talks IV
NPFL
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
14:30
40m
Talk
Manifolds as Haskell types
NPFL
Justus Sagemüller
Universität zu Köln, Institut für Geophysik und Meteorologie
15:30 - 16:10
Talks V
NPFL
at
Texas Special
Chair(s):
Dominic Steinitz
Tweag I/O
15:30
40m
Talk
Exact Real Arithmetic for Geometric Operations
NPFL
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
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
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
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
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
Tutorials
at
Texas Special
Chair(s):
Andrew Turley
09:00
3h
Other
T07: Writing a chat system in Pony
Tutorials
Andrew Turley
13:00 - 16:00
T10: Hop.js: JavaScript multitier programming
Tutorials
at
Texas Special
Chair(s):
Manuel Serrano
Inria, France
13:00
3h
Other
T10: Hop.js: JavaScript multitier programming
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
Keynote
NPFL
Talks I
NPFL
Talks II
NPFL
Talks III
NPFL
Talks IV
NPFL
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
Tutorials
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
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
Tutorials
T07: Writing a chat system in Pony
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 22 Dec 05:04