ICFP 2021
Sun 22 - Sat 28 August 2021
Sat 28 Aug 2021 00:30 - 01:00 at Haskell - Paper Session 4

Fri 27 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Paper Session 4Haskell 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