Skip to content
GitLab
Explore
Sign in
Explore projects
Most starred
Trending
Active
Inactive
All
View SePi project
S
gloss /
SePi
A concurrent programming language with linearly refined session types
1
Updated
Oct 06, 2021
1
0
0
4
Updated
Oct 06, 2021
Prev
Next