Geeks
juda
/
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
Primary Language
Coq
Recursive-Subtyping-for-All GitHub
Markdown
Readme
0
Issues
8
Stargazers
1
Watcher
Stargazers
breandan
@mila-iqia
fangyi-zhou
retail m e g a c o r p
Hua-hana
Shanghai Jiao Tong University
jiangsy
saykachi
saya inc.
sjxer723
HKUST
skylee03
University of Hong Kong
slanterns
ZHZX