Skip to content

GitLab

Explore

Sign in

S

SePi

Project information

A concurrent programming language with linearly refined session types

0 Commits
1 Branch
0 Tags

README

Created on

June 27, 2015

Copy SSH clone URLgit@git.lasige.di.fc.ul.pt:gloss/SePi.git
Copy HTTPS clone URLhttps://git.lasige.di.fc.ul.pt/gloss/SePi.git

Loading