ICFP 2020 (series) / HIW 2020 (series) /
HIW 2020 Program
This is the HIW 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 12:00 | |||
09:00 22mTalk | Asterius: bringing Haskell to WebAssembly HIW | ||
09:22 22mTalk | Multiple Home Units HIW Hannes Siebenhandl None | ||
10:00 35mTalk | Lightning Talks 1 HIW | ||
10:35 22mTalk | Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching HIW Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira Kawata Kyoto University, Mayuko Kori The University of Tokyo, Hiromi Ogawa University of Tsukuba | ||
10:57 22mTalk | Updating Immutable Code HIW | ||
11:19 12mTalk | GHC Status Update HIW | ||
11:31 29mBreak | Social break HIW |
12:30 - 13:30 | |||
12:30 22mTalk | Exactprint in GHC HIW | ||
12:52 22mTalk | Liquid Haskell as a GHC Plugin HIW Alfredo Di Napoli Well-Typed LLP, Ranjit Jhala University of California at San Diego, USA, Andres Löh Well-Typed LLP, Niki Vazou IMDEA Software Institute | ||
13:14 22mTalk | Stan — Haskell Static Analyser HIW |
14:00 - 17:30 | |||
14:00 22mTalk | Implementation of linear types HIW | ||
14:22 22mTalk | Circuit Notation Source Plugin HIW Christopher Chalmers Myrtle.ai | ||
15:00 45mTalk | Lightning Talks 2 HIW | ||
15:45 12mTalk | Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale HIW Antal Spector-Zabusky University of Pennsylvania, Joachim Breitner DFINITY Foundation, Stephanie Weirich University of Pennsylvania, Yao Li University of Pennsylvania | ||
16:00 20mTalk | Closing HIW Ben Gamari Well-Typed LLP |