Software Open Access

A Path to DOT: Formalizing Fully Path-Dependent Types (Artifact)

Rapoport, Marianna; Lhoták, Ondřej

BibTeX Export

@software{rapoport_marianna_2019_3366234,
  author       = {Rapoport, Marianna and
                  Lhoták, Ondřej},
  title        = {{A Path to DOT: Formalizing Fully Path-Dependent 
                   Types (Artifact)}},
  month        = jul,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3366234},
  url          = {https://doi.org/10.5281/zenodo.3366234}
}
131
100
views
downloads
All versions This version
Views 131131
Downloads 100100
Data volume 72.4 MB72.4 MB
Unique views 124124
Unique downloads 7575
More info on how stats are collected.
Indexed in
Publication date:
July 5, 2019
DOI:
10.5281/zenodo.3366234

Zenodo DOI Badge

DOI 

10.5281/zenodo.3366234

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Scala, DOT, type systems, type safety, Coq
Meeting:
Object-oriented Programming, Systems, Languages, and Applications (Artifacts) (OOPSLA Artifacts), Athens, Greece, 23-25 October, 2019
License (for files):
MIT License

Versions

Version 1 10.5281/zenodo.3366234 Jul 5, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3366233. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export