Software Open Access

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

Rapoport, Marianna; Lhoták, Ondřej


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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