Meet up

Session Types with Fahd Abdeljallal

Monday, 26th September at CodeNode, London

This meetup was organised by F# Londoners in September 2016


Session Types with Fahd Abdeljallal

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.

Fahd Abdeljallal

Fahd is a Master student at Imperial College London, who has done his Master thesis on session types and their application over F#. New to the F# community and the language, he loves to speak and learn about it every day. Other than that, he loves spending his spare time learning about different theories and technologies, especially type theory and functional programming.

Thank you to our sponsors and partners


Who's coming?

Attending Members