Program - ICFP 2018

Detailed Table Session Timeline Detailed Timeline

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, MonterreySelect other time zone

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 programSpecify 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

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Invited TalkHIW at Illinois Central Chair(s): Joachim Breitner DFINITY Foundation

09:00 5m Day opening		Welcome to HIW HIW Joachim Breitner DFINITY Foundation
09:05 55m Talk		Invited Talk: Let’s Go Mainstream with Eta! HIW Rahul Muttineni TypeLead Media Attached

10:20 - 12:00	GHCHIW at Illinois Central Chair(s): Ben Gamari Well-Typed LLP

10:20 25m Talk		GHC Update HIW Simon Peyton Jones Microsoft, UK File Attached
10:45 25m Talk		Source Plugins HIW Matthew Pickering University of Bristol Media Attached
11:10 25m Talk		Generalized Abstract GHC.Generics HIW Ryan Scott Indiana University at Bloomington, USA File Attached
11:35 8m Talk		Lightning talk: CodeWorld: Teaching Haskell and mathematics to children HIW Chris Smith Google, USA
11:43 8m Talk		Lightning talk: CoreSpec: Verifying GHC with hs-to-coq HIW Antal Spector-Zabusky File Attached
11:51 9m Talk		Lightning talk: The trick which makes exceptions-0.10.0 possible HIW Samuel Gélineau SimSpace Media Attached

13:30 - 15:10	TypesHIW at Illinois Central Chair(s): Niki Vazou University of Maryland, USA

13:30 25m Talk		Coercion Quantification HIW Ningning Xie The University of Hong Kong, Richard A. Eisenberg Bryn Mawr College, USA Link to publication File Attached
13:55 25m Talk		Type-level visible type application HIW My Nguyen Bryn Mawr College File Attached
14:20 25m Talk		Implementing Linear Haskell HIW Matthew Pickering University of Bristol, Arnaud Spiwack Tweag I/O Media Attached
14:45 8m Talk		Lightning talk: Implementing a VMware Haskell Client with Extensible Records HIW Matthew Russell SimSpace Link to publication File Attached
14:53 8m Talk		Lightning talk: Asterius: Bringing Haskell to WebAssembly HIW Cheng Shao Tweag I/O Media Attached
15:01 9m Talk		Lightning talk: Perfomance impact of control flow optimization HIW Andreas Klebinger

15:30 - 16:45	Tools and HardwareHIW at Illinois Central Chair(s): Joachim Breitner DFINITY Foundation

15:30 25m Talk		Pier: yet another Haskell build tool HIW Judah Jacobson File Attached
15:55 25m Talk		Clash: a practical Haskell to circuit compiler HIW Christiaan Baaij QBayLogic B.V. File Attached
16:20 8m Talk		Lightning talk: More Explicit Foralls in GHC HIW Matthew Yacavone
16:28 17m Other		GHC Community Discussion HIW Simon Peyton Jones Microsoft, UK

HIW 2018 Program

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Workshops

Co-hosted Symposia

HIW 2018 Program

Switch Program View

Program Display Configuration

Sun 23 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change