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

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:20
Talks INPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
10:20
30m
Talk
Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
NPFL
Sam StitesSentenai, Austin HuangPfizer
10:50
30m
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
40m
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
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 Waiviohttps://github.com/waivio
14:30 - 15:10
Talks IVNPFL at Texas Special
Chair(s): Dominic SteinitzTweag I/O
14:30
40m
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
40m
Talk
Exact Real Arithmetic for Geometric Operations
NPFL
Pavel PanchekhaUniversity of Washington

Conference Day
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 GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
09:00
3h
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
3h
Talk
T04: Beluga: Programming Proofs About Formal Systems
Tutorials
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

Conference Day
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 SerranoInria, France
13:00
3h
Other
T10: Hop.js: JavaScript multitier programming
Tutorials
Manuel SerranoInria, France

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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