Write a Blog >>
Scheme 2021
Fri 27 Aug 2021
co-located with
ICFP 2021
Toggle navigation
Attending
Venue: Virtual
Program
Complete Program
Your Program
Fri 27 Aug
Track/Call
Organization
Scheme 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Scheme 2024
Scheme 2023
Scheme 2022
Scheme 2021
Scheme 2020
Scheme 2019
Scheme 2018
Scheme 2017
Scheme 2016
Scheme 2011
Sign in
Sign up
ICFP 2021
(
series
) /
Scheme 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
Sun 28 Apr 23:21