Published May 24, 2022
| Version 1.0
Conference paper
Open
Safe Couplings: Coupled Refinement Types
Description
Artifact in support of the "Safe Couplings: Coupled Refinement Types" paper.
Files
Files
(2.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:28b22fd3e57bd3f4739a4d7d085c4ae7
|
2.2 GB | Download |
|
md5:49fb73c0555deede3757aa37c1174fcb
|
44.5 kB | Download |