Binary Session Types
Slides
Exercises 1
Exercises 2
Multiparty Session Types
Exercises
A Very Gentle Introduction...