Software Open Access

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

Luís Caires; Bernardo Toninho


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/b04c19db-9145-44b4-b1d4-098eb8500652/62.zip"
      }, 
      "checksum": "md5:12dff005380a8257474aacdc8fc4174e", 
      "bucket": "b04c19db-9145-44b4-b1d4-098eb8500652", 
      "key": "62.zip", 
      "type": "zip", 
      "size": 7035254
    }
  ], 
  "owners": [
    74129
  ], 
  "doi": "10.5281/zenodo.3362424", 
  "stats": {
    "version_unique_downloads": 21.0, 
    "unique_views": 154.0, 
    "views": 163.0, 
    "version_views": 163.0, 
    "unique_downloads": 21.0, 
    "version_unique_views": 154.0, 
    "volume": 154775588.0, 
    "version_downloads": 22.0, 
    "downloads": 22.0, 
    "version_volume": 154775588.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3362424", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3362423", 
    "bucket": "https://zenodo.org/api/files/b04c19db-9145-44b4-b1d4-098eb8500652", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3362423.svg", 
    "html": "https://zenodo.org/record/3362424", 
    "latest_html": "https://zenodo.org/record/3362424", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3362424.svg", 
    "latest": "https://zenodo.org/api/records/3362424"
  }, 
  "conceptdoi": "10.5281/zenodo.3362423", 
  "created": "2019-08-07T18:34:08.209675+00:00", 
  "updated": "2020-01-25T07:25:30.953965+00:00", 
  "conceptrecid": "3362423", 
  "revision": 4, 
  "id": 3362424, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3362424", 
    "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>", 
    "language": "eng", 
    "title": "Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3362423"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3362424"
          }
        }
      ]
    }, 
    "version": "1.0", 
    "keywords": [
      "Refinement Kinds", 
      "Typed Meta-Programming", 
      "Type-level Computation", 
      "Type Theory"
    ], 
    "publication_date": "2019-08-07", 
    "creators": [
      {
        "orcid": "0000-0002-3215-6734", 
        "affiliation": "NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa", 
        "name": "Lu\u00eds Caires"
      }, 
      {
        "orcid": "0000-0002-0746-7514", 
        "affiliation": "NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa", 
        "name": "Bernardo Toninho"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.3362423", 
        "relation": "isVersionOf"
      }
    ]
  }
}
163
22
views
downloads
All versions This version
Views 163163
Downloads 2222
Data volume 154.8 MB154.8 MB
Unique views 154154
Unique downloads 2121

Share

Cite as