Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameTexas Special
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:20: Talks INPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
10:20 - 10:50
Talk
Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
NPFL
Sam StitesSentenai, Austin HuangPfizer
10:50 - 11:20
Talk
APLicative Programming with Naperian Functors
NPFL
Jeremy GibbonsDepartment of Computer Science, University of Oxford
11:20 - 12:00: Talks IINPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
11:20 - 12:00
Talk
Error analysis almost for free
NPFL
Eva RichterPotsdam University, Matti RichterPotsdam University
13:30 - 14:30: Talks IIINPFL at Texas Special
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
13:30 - 14:00
Talk
A Haskell Interface to Sundials via inline-c
NPFL
14:00 - 14:30
Talk
On the Calculation of Functions in the Algebra of Physical Space
NPFL
Nathan Waiviohttps://github.com/waivio
14:30 - 15:10: Talks IVNPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
14:30 - 15:10
Talk
Manifolds as Haskell types
NPFL
Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie
15:30 - 16:10: Talks VNPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
15:30 - 16:10
Talk
Exact Real Arithmetic for Geometric Operations
NPFL
Pavel PanchekhaUniversity of Washington

Fri 28 Sep
Times are displayed in 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 GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
09:00 - 12:00
Other
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
Tutorials
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
13:00 - 16:00: T04: Beluga: Programming Proofs About Formal SystemsTutorials at Texas Special
Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University
13:00 - 16:00
Talk
T04: Beluga: Programming Proofs About Formal Systems
Tutorials
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

Sat 29 Sep
Times are displayed in 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 - 12:00
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 SerranoInria, France
13:00 - 16:00
Other
T10: Hop.js: JavaScript multitier programming
Tutorials
Manuel SerranoInria, France

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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