Software Open Access

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

Luís Caires; Bernardo Toninho


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa", 
      "@id": "https://orcid.org/0000-0002-3215-6734", 
      "@type": "Person", 
      "name": "Lu\u00eds Caires"
    }, 
    {
      "affiliation": "NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa", 
      "@id": "https://orcid.org/0000-0002-0746-7514", 
      "@type": "Person", 
      "name": "Bernardo Toninho"
    }
  ], 
  "url": "https://zenodo.org/record/3362424", 
  "datePublished": "2019-08-07", 
  "version": "1.0", 
  "keywords": [
    "Refinement Kinds", 
    "Typed Meta-Programming", 
    "Type-level Computation", 
    "Type Theory"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3362424", 
  "@id": "https://doi.org/10.5281/zenodo.3362424", 
  "@type": "SoftwareSourceCode", 
  "name": "Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)"
}
164
22
views
downloads
All versions This version
Views 164164
Downloads 2222
Data volume 154.8 MB154.8 MB
Unique views 155155
Unique downloads 2121

Share

Cite as