3 ms·
The same site has a great introduction (not for rust though) to session types: https://rustype.github.io/notes/notes/session-types.html https://rustype.github.i
by 42jd 5y ago
The same site has a great introduction (not for rust though) to session types: https://rustype.github.io/notes/notes/session-types.html https://rustype.github.io/notes/notes/session-types.html