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

Share

Cite as