The same site has a great introduction (not for rust though) to session types: https://rustype.github.io/notes/notes/session-types.html