Software Open Access

Revisiting Iso-Recursive Subtyping

Zhou, Yaoda; Dos Santos Oliveira, Bruno Cesar; Zhao, Jinxu

BibTeX Export

@software{zhou_yaoda_2020_4034438,
  author       = {Zhou, Yaoda and
                  Dos Santos Oliveira, Bruno Cesar and
                  Zhao, Jinxu},
  title        = {Revisiting Iso-Recursive Subtyping},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.4034438},
  url          = {https://doi.org/10.5281/zenodo.4034438}
}
69
19
views
downloads
All versions This version
Views 6969
Downloads 1919
Data volume 579.6 kB579.6 kB
Unique views 6666
Unique downloads 1616
More info on how stats are collected.
Indexed in
Publication date:
September 17, 2020
DOI:
10.5281/zenodo.4034438

Zenodo DOI Badge

DOI 

10.5281/zenodo.4034438

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 1.0 Generic

Versions

Version 1.0 10.5281/zenodo.4034438 Sep 17, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4034437. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export