MobilityReadingGroup

π-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)

Related publications