There is a newer version of this record available.

Conference paper Open Access

Safe Couplings: Coupled Refinement Types

Anonymous

Artifact in support of the "Safe Couplings: Coupled Refinement Types" paper.

Files (2.1 GB)
Name Size
image.tar.gz
md5:1c744f960c1d8a5020912193b2c379a7
2.0 GB Download
safe-coupling.tar.gz
md5:5cff35710abf4e416995319fbacaf321
1.1 MB Download
133
19
views
downloads
All versions This version
Views 13332
Downloads 197
Data volume 27.9 GB8.2 GB
Unique views 11227
Unique downloads 155

Share

Cite as