Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameHIW
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

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 12:00
Sessions 1 and 2HIW at HIW
09:00
22m
Talk
Asterius: bringing Haskell to WebAssembly
HIW
Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O
09:22
22m
Talk
Multiple Home Units
HIW
10:00
35m
Talk
Lightning Talks 1
HIW
10:35
22m
Talk
Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
HIW
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba
10:57
22m
Talk
Updating Immutable Code
HIW
Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen
11:19
12m
Talk
GHC Status Update
HIW
Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP
11:31
29m
Break
Social break
HIW
12:30 - 13:30
Session 3HIW at HIW
12:30
22m
Talk
Exactprint in GHC
HIW
12:52
22m
Talk
Liquid Haskell as a GHC Plugin
HIW
Alfredo Di NapoliWell-Typed LLP, Ranjit JhalaUniversity of California at San Diego, USA, Andres LöhWell-Typed LLP, Niki VazouIMDEA Software Institute
13:14
22m
Talk
Stan — Haskell Static Analyser
HIW
Dmitrii KovanikovStandard Chartered, Veronika RomashkinaNone
14:00 - 17:30
Sessions 4 and 5HIW at HIW
14:00
22m
Talk
Implementation of linear types
HIW
14:22
22m
Talk
Circuit Notation Source Plugin
HIW
15:00
45m
Talk
Lightning Talks 2
HIW
15:45
12m
Talk
Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
HIW
Antal Spector-ZabuskyUniversity of Pennsylvania, Joachim BreitnerDFINITY Foundation, Stephanie WeirichUniversity of Pennsylvania, Yao LiUniversity of Pennsylvania
16:00
20m
Talk
Closing
HIW
Ben GamariWell-Typed LLP

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
HIW

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change