typed-protocols

A robust session type framework which supports protocol pipelining.

Haddocks are published here.

Public content

Duncan Coutts Haskell eXchange 2019 talk.

Monadic party workshop by Marcin Szamotulski (coot):

• part 1
• part 2
• part 2

Talk at Haskell Love 2021 by Marcin Szamotulski (coot), slides.

An Agda implementation by Marcin Szamotulski (coot).