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
NPFL
Sam StitesSentenai, Austin HuangPfizer
10:50 - 11:20
Talk
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
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
NPFL
14:00 - 14:30
Talk
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
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
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
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
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
Tutorials
13:00 - 16:00: T10: Hop.js: JavaScript multitier programmingTutorials at Texas Special
Chair(s): Manuel SerranoInria, France
13:00 - 16:00
Other
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