Write a Blog >>
Haskell 2021
Thu 26 - Fri 27 August 2021
co-located with
ICFP 2021
Toggle navigation
Attending
Venue: Virtual
Program
Complete Program
Your Program
Thu 26 Aug
Fri 27 Aug
Track/Call
Organization
Haskell 2021 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
Haskell 2024
Haskell 2023
Haskell 2022
Haskell 2021
Haskell 2020
Haskell 2019
Haskell 2018
Haskell 2017
Haskell 2016
Sign in
Sign up
ICFP 2021
(
series
) /
Haskell 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 2021
at
Haskell
20:00
30m
Talk
Chesskell: A Two-Player Game at the Type Level
Haskell 2021
Toby Bailey
University of Warwick
,
Michael Gale
University of Warwick, UK
20:30
30m
Talk
Express: applications of dynamically typed Haskell expressions
Haskell 2021
Rudy Matela
Unaffiliated
Link to publication
DOI
Pre-print
21:00
30m
Talk
Haskell⁻¹: Automatic Function Inversion in Haskell
Haskell 2021
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 2021
at
Haskell
Chair(s):
Jurriaan Hage
Utrecht University, Netherlands
22:00
90m
Keynote
Why Functional Programming with Linear Types Matters
Haskell 2021
I:
Mathieu Boespflug
Tweag I/O
23:30 - 01:00
Paper Session 2
Haskell 2021
at
Haskell
23:30
30m
Talk
Design Patterns for Parser Combinators (Functional Pearl)
Haskell 2021
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 2021
Finnbar Keating
University of Warwick
,
Michael Gale
University of Warwick, UK
00:30
30m
Talk
Chair Report
Haskell 2021
Jurriaan Hage
Utrecht University, Netherlands
Fri 27 Aug
Displayed time zone:
Seoul
change
20:00 - 21:30
Paper Session 3
Haskell 2021
at
Haskell
20:00
30m
Talk
Practical Normalization by Evaluation for EDSLs
Haskell 2021
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 2021
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 2021
Gert-Jan Bottu
KU Leuven
,
Richard A. Eisenberg
Tweag
22:00 - 23:30
Keynote 2
Haskell 2021
at
Haskell
Chair(s):
Jurriaan Hage
Utrecht University, Netherlands
22:00
90m
Keynote
Linear Haskell, Today and Tomorrow
Haskell 2021
I:
Jean-Philippe Bernardy
University of Gothenburg, Sweden
23:30 - 01:00
Paper Session 4
Haskell 2021
at
Haskell
23:30
30m
Talk
Deadlock-Free Session Types in Linear Haskell
Haskell 2021
Wen Kokke
University of Edinburgh
,
Ornela Dardha
University of Glasgow
00:00
30m
Talk
Evaluating Linear Functions to Symmetric Monoidal Categories
Haskell 2021
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 2021
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 2021
Paper Session 1
Haskell 2021
Keynote 1
Haskell 2021
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 2021
Paper Session 3
Haskell 2021
Keynote 2
Haskell 2021
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
Fri 26 Apr 02:54