Software Open Access

ιDOT: A DOT Calculus with Object Initialization (Coq Formalization)

Kabir, Ifaz; Li, Yufeng; Lhoták, Ondřej

BibTeX Export

@software{kabir_ifaz_2020_4060109,
  author       = {Kabir, Ifaz and
                  Li, Yufeng and
                  Lhoták, Ondřej},
  title        = {{ιDOT: A DOT Calculus with Object Initialization 
                   (Coq Formalization)}},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4060109},
  url          = {https://doi.org/10.5281/zenodo.4060109}
}
93
66
views
downloads
All versions This version
Views 9393
Downloads 6666
Data volume 37.8 MB37.8 MB
Unique views 8181
Unique downloads 5555
More info on how stats are collected.
Indexed in
Publication date:
September 30, 2020
DOI:
10.5281/zenodo.4060109

Zenodo DOI Badge

DOI 

10.5281/zenodo.4060109

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Scala DOT dependent object types type systems type safety type soundness Coq initialization effect systems iDOT
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4060109 Sep 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4060108. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export