In this talk, we will focus on the case of Multiparty session types (MSPT) and their application on F#. By supporting them, we help F# guarantee safe communication, e.g no deadlocks and communication mismatches.

We show a new application of generative type providers as to generate communication primitives automatically derived from a program specification. The result is a type-safe communication library for .Net where method signatures and the order of invocation dictated by a predefined communication protocol are statically checked. As a specification language for defining protocols, we use the Scribble languages, developed by the Mobility Research Group at Imperial College London.