proglang / ldgvLinks

Label dependent dependent session types
16Updated last year

Alternatives and similar repositories for ldgv

Users that are interested in ldgv are comparing it to the libraries listed below

Sorting: