Introduction to a type system: session types

Correctness in software development is an important subject that has been explored by the academy and by the industry. How to ensure that your program cannot fail ? How to ensure that what you're developing will work as expected without unwanted side-effects ? etc.