π-calculus, Session Types research at Imperial College
Effect-Sessions
Effects as sessions, session as effects
The effect-sessions library is an implementation of session types in
Haskell, via an effect system encoding by embedding session types into
an effect system.
(POPL'16 artifact)