Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameTexas Special
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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:20
Talks INPFL 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 IINPFL 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 IIINPFL 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
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 IVNPFL 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 VNPFL 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 LanguagesTutorials 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 SystemsTutorials 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 PonyTutorials at Texas Special
Chair(s): Andrew Turley
09:00
3h
Other
T07: Writing a chat system in Pony
Tutorials
13:00 - 16:00
T10: Hop.js: JavaScript multitier programmingTutorials 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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Texas Special

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Texas Special