Software Open Access

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

Luís Caires; Bernardo Toninho


BibTeX Export

@software{luis_caires_2019_3362424,
  author       = {Luís Caires and
                  Bernardo Toninho},
  title        = {{Refinement Kinds: Type-safe Programming with 
                   Practical Type-level Computation (Artifact)}},
  month        = aug,
  year         = 2019,
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.3362424},
  url          = {https://doi.org/10.5281/zenodo.3362424}
}
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