Software Open Access

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

Luís Caires; Bernardo Toninho


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3362424", 
  "language": "eng", 
  "title": "Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)", 
  "issued": {
    "date-parts": [
      [
        2019, 
        8, 
        7
      ]
    ]
  }, 
  "abstract": "<p><br>\n<strong>Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)</strong></p>\n\n<p>This is the artifact for the paper Refinement Kinds: Type-safe Programming with Practical Type-level Computation. The artifact<br>\nconsists of a prototype kind and type-checker (which also includes an evaluator) for the language described in the paper.</p>\n\n<p>The artifact is distributed as a Docker image that bundles the source code, all its dependencies, the code examples from the paper and<br>\nvarious additional examples. See the README for a getting started and syntax guides.</p>", 
  "author": [
    {
      "family": "Lu\u00eds Caires"
    }, 
    {
      "family": "Bernardo Toninho"
    }
  ], 
  "version": "1.0", 
  "type": "article", 
  "id": "3362424"
}
166
22
views
downloads
All versions This version
Views 166166
Downloads 2222
Data volume 154.8 MB154.8 MB
Unique views 157157
Unique downloads 2121

Share

Cite as