input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

typed-protocols

A robust session type framework which supports protocol pipelining.

Public content

Duncan Coutts (@dcoutts) 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).