Software Open Access

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)

Luís Caires; Bernardo Toninho


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
165
22
views
downloads
All versions This version
Views 165165
Downloads 2222
Data volume 154.8 MB154.8 MB
Unique views 156156
Unique downloads 2121

Share

Cite as