MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Parallel Algebraic Language
A Haskell EDSL for building session-typed parallel code.
LinkLink Sources
Related publications