ICFP 2021
Sun 22 - Sat 28 August 2021
Toggle navigation
Attending
Venue: Virtual
Student Volunteers
Code of Conduct
Call For Sponsorship
Registration
Accessibility
Program
ICFP Program
Your Program
Filter by Day
Sun 22 Aug
Mon 23 Aug
Tue 24 Aug
Wed 25 Aug
Thu 26 Aug
Fri 27 Aug
Sat 28 Aug
Tracks
ICFP 2021
JFP Talks
PLTea
Research Papers
Social Events
Artifact Evaluation
Student Research Competition
Workshops
Tutorials
ICFP Programming Contest
Student Volunteers
Workshops
Erlang
Erlang
- Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)
FARM
FHPNC
HIW
HOPE
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2021 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
PLTea
Research Papers
Student Research Competition
Tutorials
Student Volunteers
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Scheme
Organizing Committee
Program Committee
TyDe
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2021
(
series
) /
Virtual
/
Room information: Haskell
Venue
Virtual
Room name
Haskell
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Thu 26 Aug
Displayed time zone:
Seoul
change
20:00 - 21:30
Paper Session 1
Haskell
at
Haskell
20:00
30m
Talk
Chesskell: A Two-Player Game at the Type Level
Haskell
Toby Bailey
University of Warwick
,
Michael Gale
University of Warwick, UK
20:30
30m
Talk
Express: applications of dynamically typed Haskell expressions
Haskell
Rudy Matela
Unaffiliated
Link to publication
DOI
Pre-print
21:00
30m
Talk
Haskell⁻¹: Automatic Function Inversion in Haskell
Haskell
Finn Teegen
University of Kiel, Germany
,
Kai-Oliver Prott
University of Kiel, Germany
,
Niels Bunkenburg
University of Kiel, Germany
DOI
Pre-print
22:00 - 23:30
Keynote 1
Haskell
at
Haskell
Chair(s):
Jurriaan Hage
Utrecht University, Netherlands
22:00
90m
Keynote
Why Functional Programming with Linear Types Matters
Haskell
I:
Mathieu Boespflug
Tweag I/O
23:30 - 01:00
Paper Session 2
Haskell
at
Haskell
23:30
30m
Talk
Design Patterns for Parser Combinators (Functional Pearl)
Haskell
Jamie Willis
Imperial College London
,
Nicolas Wu
Imperial College London, UK
00:00
30m
Talk
Graded Monads and Type-Level Programming for Dependence Analysis
Haskell
Finnbar Keating
University of Warwick
,
Michael Gale
University of Warwick, UK
00:30
30m
Talk
Chair Report
Haskell
Jurriaan Hage
Utrecht University, Netherlands
Fri 27 Aug
Displayed time zone:
Seoul
change
20:00 - 21:30
Paper Session 3
Haskell
at
Haskell
20:00
30m
Talk
Practical Normalization by Evaluation for EDSLs
Haskell
Nachiappan Valliappan
Chalmers University of Technology, Sweden
,
Alejandro Russo
Chalmers University of Technology, Sweden
,
Sam Lindley
The University of Edinburgh, UK
20:30
30m
Talk
Safe Mutation with Algebraic Effects
Haskell
Hashan Punchihewa
Imperial College London
,
Nicolas Wu
Imperial College London, UK
21:00
30m
Talk
Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
Haskell
Gert-Jan Bottu
KU Leuven
,
Richard A. Eisenberg
Tweag
22:00 - 23:30
Keynote 2
Haskell
at
Haskell
Chair(s):
Jurriaan Hage
Utrecht University, Netherlands
22:00
90m
Keynote
Linear Haskell, Today and Tomorrow
Haskell
I:
Jean-Philippe Bernardy
University of Gothenburg, Sweden
23:30 - 01:00
Paper Session 4
Haskell
at
Haskell
23:30
30m
Talk
Deadlock-Free Session Types in Linear Haskell
Haskell
Wen Kokke
University of Edinburgh
,
Ornela Dardha
University of Glasgow
00:00
30m
Talk
Evaluating Linear Functions to Symmetric Monoidal Categories
Haskell
Jean-Philippe Bernardy
University of Gothenburg, Sweden
,
Arnaud Spiwack
Tweag
DOI
Pre-print
00:30
30m
Talk
This is not really a talk, but should ensure the two talks before it are 30 min. long
Haskell
A:
Jurriaan Hage
Utrecht University, Netherlands
Thu 26 Aug
Displayed time zone:
Seoul
change
Room
20:00
30
21:00
30
22:00
30
23:00
30
0:00
30
Haskell
Haskell
Paper Session 1
Haskell
Keynote 1
Haskell
Paper Session 2
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
20:00
30
21:00
30
22:00
30
23:00
30
0:00
30
Haskell
Haskell
Paper Session 3
Haskell
Keynote 2
Haskell
Paper Session 4
Thu 26 Aug
Displayed time zone:
Seoul
change
Room
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Haskell
Haskell
Chesskell: A Two-Player Game at the Type Level
20:00 - 20:30
Haskell
Express: applications of dynamically typed Haskell expressions
20:30 - 21:00
Haskell
Haskell⁻¹: Automatic Function Inversion in Haskell
21:00 - 21:30
Haskell
Why Functional Programming with Linear Types Matters
22:00 - 23:30
Haskell
Design Patterns for Parser Combinators (Functional Pearl)
23:30 - 00:00
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Haskell
Haskell
Graded Monads and Type-Level Programming for Dependence Analysis
00:00 - 00:30
Haskell
Chair Report
00:30 - 01:00
Haskell
Practical Normalization by Evaluation for EDSLs
20:00 - 20:30
Haskell
Safe Mutation with Algebraic Effects
20:30 - 21:00
Haskell
Seeking Stability by being Lazy and Shallow: Lazy and shallow instantia ...
21:00 - 21:30
Haskell
Linear Haskell, Today and Tomorrow
22:00 - 23:30
Haskell
Deadlock-Free Session Types in Linear Haskell
23:30 - 00:00
Sat 28 Aug
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
Haskell
Haskell
Evaluating Linear Functions to Symmetric Monoidal Categories
00:00 - 00:30
Haskell
This is not really a talk, but should ensure the two talks before it ar ...
00:30 - 01:00
x
Sat 21 Dec 16:11