session-types-use-cases. This is a common repository for the ABCD team to share use-cases of session types.

github.com/epsrc-abcd/session-types-use-cases
by @epsrc-abcd

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.