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.
Talks I've Given
Session Types with Fahd Abdeljallal
Featuring Fahd Abdeljallal
Session types are a formalism to codify the structure of a communication, using types to specify the communication protocol used. This formalism provides the coder a type-safe way of writing communication code according to a specific protocol.f-sharp functional