xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 23:30 - 00:00 at Haskell - Paper Session 4

Priority Sesh is a library for session-typed communication in Linear Haskell which offers strong compile-time correctness guarantees. Priority Sesh offers two deadlock-free APIs for session-typed communication. The first guarantees deadlock freedom by restricting the process structure to trees and forests. It is simple and composeable, but rules out cyclic structures. The second guarantees deadlock freedom via priorities, which allows the programmer to safely use cyclic structures as well.

Our library relies on Linear Haskell to guarantee linearity, which leads to easy-to-write session types and highly idiomatic code, and lets us avoid the complex encodings of linearity in the Haskell type system that made previous libraries difficult to use.

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