Write a Blog >>
Scala 2018
Fri 28 Sep 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
ICFP 2018
Registration
Considering attending ICFP for the first time?
Local Arrangements
Call for Sponsorship
Code of Conduct
Accessibility
Students
Student Volunteering
Visas
Program
Scala Program
Your Program
Fri 28 Sep
Track/Call
Organization
Scala 2018 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
ICFP 2018
(
series
) /
Scala 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
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
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
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
Thu 21 Nov 11:28