Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameICFP Q&A 2
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

Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

14:45 - 16:45
ICFP Q&A New York 2-2ICFP Q&A at ICFP Q&A 2
15:00
30m
Live Q&A
Staged Selective Parser Combinators
ICFP Q&A

15:30
30m
Live Q&A
Sealing Pointer-Based Optimizations Behind Pure Functions
ICFP Q&A

16:00
30m
Live Q&A
Computation Focusing
ICFP Q&A

16:30
30m
Live Q&A
Liquid Information Flow Control
ICFP Q&A

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

02:45 - 04:45
ICFP Q&A Asia 2-2ICFP Q&A at ICFP Q&A 2
14:45 - 16:45
ICFP Q&A New York 4-2ICFP Q&A at ICFP Q&A 2
15:00
30m
Live Q&A
Liquid Resource Types
ICFP Q&A

15:30
30m
Live Q&A
Composing and Decomposing Op-Based CRDTs with Semidirect Products
ICFP Q&A

16:00
30m
Live Q&A
A Unified View of Modalities in Type Systems
ICFP Q&A

22:40 - 00:10
ICFP Q&A Asia 3-2ICFP Q&A at ICFP Q&A 2

Wed 26 Aug

Displayed time zone: Eastern Time (US & Canada) change

02:45 - 04:45
ICFP Q&A Asia 4-2ICFP Q&A at ICFP Q&A 2
04:00
30m
Live Q&A
A Unified View of Modalities in Type Systems
ICFP Q&A

04:30
30m
Live Q&A
Signature restriction for polymorphic algebraic effects
ICFP Q&A

22:45 - 00:15
ICFP Q&A Asia 5-2ICFP Q&A at ICFP Q&A 2
23:30
30m
Live Q&A
A General Approach to Define Binders Using Matching Logic
ICFP Q&A

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room11:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
ICFP Q&A 2

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
ICFP Q&A 2

Wed 26 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
ICFP Q&A 2

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

Wed 26 Aug

Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change