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
More info on how stats are collected.
Indexed in
Publication date:
May 24, 2022
DOI:
10.5281/zenodo.6710298

Zenodo DOI Badge

DOI 

10.5281/zenodo.6710298

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6710298.svg)](https://doi.org/10.5281/zenodo.6710298)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6710298.svg
   :target: https://doi.org/10.5281/zenodo.6710298

HTML 

<a href="https://doi.org/10.5281/zenodo.6710298"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6710298.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6710298.svg

Target URL 

https://doi.org/10.5281/zenodo.6710298

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0 10.5281/zenodo.6779233 May 24, 2022
Version 3 10.5281/zenodo.6710298 May 24, 2022
Version 2 10.5281/zenodo.6580295 May 24, 2022
Version 1 10.5281/zenodo.6577132 May 24, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6577131. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export