MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Session Type Providers

STP is a type provider for F# that generates APIs from protocol specifications

STP is a type provider in F# that generates APIs from protocol specifications.

Related publications

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal: A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#. CC 2018 : 128 - 138.