There is a newer version of the record available.

Published May 24, 2022 | Version v3
Conference paper Open

Safe Couplings: Coupled Refinement Types

Authors/Creators

  • 1. Anonymous

Description

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

Files

Files (2.1 GB)

Name Size
md5:1c744f960c1d8a5020912193b2c379a7
2.0 GB Download
md5:5cff35710abf4e416995319fbacaf321
1.1 MB Download