Safe Couplings: Coupled Refinement Types

There is a newer version of the record available.

Published May 24, 2022 | Version v2

Conference paper Open

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

Files

Name	Size	Download all
artifact.tar.gz md5:ad6b35826a0558859a2ac3d6dd953b1a	27.6 MB	Download
image.tar.gz md5:834ad5cf54b0258af16793ab370c98cf	2.2 GB	Download

Citations

Oops! Something went wrong while fetching results.

417

Views

100

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more