An Introduction to Session Types(wen.works)

https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html