Software Open Access

Tog⁺

Víctor López Juan; Francesco Mazzoli; Nils Anders Danielsson; Ulf Norell; Andrea Vezzosi; Andreas Abel; Andrés Sicard Ramírez; Jesper Lloyd


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/f2518b44-2890-47ed-a7d2-17b3f8351a7d/LICENSE"
      }, 
      "checksum": "md5:d5c9993b67e8b8bdbf60f30f288432df", 
      "bucket": "f2518b44-2890-47ed-a7d2-17b3f8351a7d", 
      "key": "LICENSE", 
      "type": "", 
      "size": 2977
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/f2518b44-2890-47ed-a7d2-17b3f8351a7d/togt-2020.01.22.zip"
      }, 
      "checksum": "md5:56a0d166d703051b6daa24be14d38066", 
      "bucket": "f2518b44-2890-47ed-a7d2-17b3f8351a7d", 
      "key": "togt-2020.01.22.zip", 
      "type": "zip", 
      "size": 277846
    }
  ], 
  "owners": [
    110179
  ], 
  "doi": "10.5281/zenodo.3924251", 
  "stats": {
    "version_unique_downloads": 3.0, 
    "unique_views": 30.0, 
    "views": 42.0, 
    "version_views": 42.0, 
    "unique_downloads": 3.0, 
    "version_unique_views": 30.0, 
    "volume": 833538.0, 
    "version_downloads": 3.0, 
    "downloads": 3.0, 
    "version_volume": 833538.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3924251", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3924250", 
    "bucket": "https://zenodo.org/api/files/f2518b44-2890-47ed-a7d2-17b3f8351a7d", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3924250.svg", 
    "html": "https://zenodo.org/record/3924251", 
    "latest_html": "https://zenodo.org/record/3924251", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3924251.svg", 
    "latest": "https://zenodo.org/api/records/3924251"
  }, 
  "conceptdoi": "10.5281/zenodo.3924250", 
  "created": "2020-07-01T11:18:10.184447+00:00", 
  "updated": "2021-04-21T14:22:37.739170+00:00", 
  "conceptrecid": "3924250", 
  "revision": 9, 
  "id": 3924251, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3924251", 
    "description": "<p>Tog\u207a, a dependent type checker using twin types.</p>\n\n<p>Modified by V&iacute;ctor L&oacute;pez Juan from <a href=\"http://github.com/bitonic/tog\">https://github.com/bitonic/tog</a>, with some additional examples from Nils Anders Danielsson and others.</p>\n\n<p>This is a prototype used for running experiments and benchmarks about type-checking and unification,<br>\nin particular those examples in the &quot;examples/&quot; directory.<br>\nI make no guarantees that the implementation is free of bugs.</p>\n\n<p>Additional details on <a href=\"https://lopezjuan.com/project/togt\">https://lopezjuan.com/project/togt</a></p>", 
    "language": "eng", 
    "title": "Tog\u207a", 
    "license": {
      "id": "other-at"
    }, 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3924250"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3924251"
          }
        }
      ]
    }, 
    "version": "v2020.01.22", 
    "publication_date": "2020-06-30", 
    "creators": [
      {
        "affiliation": "Chalmers University of Technology", 
        "name": "V\u00edctor L\u00f3pez Juan"
      }, 
      {
        "name": "Francesco Mazzoli"
      }, 
      {
        "affiliation": "Gothenburg University", 
        "name": "Nils Anders Danielsson"
      }, 
      {
        "affiliation": "Chalmers University of Technology", 
        "name": "Ulf Norell"
      }, 
      {
        "affiliation": "IT University of Copenhagen", 
        "name": "Andrea Vezzosi"
      }, 
      {
        "affiliation": "Gothenburg University", 
        "name": "Andreas Abel"
      }, 
      {
        "affiliation": "Universidad EAFIT", 
        "name": "Andr\u00e9s Sicard Ram\u00edrez"
      }, 
      {
        "name": "Jesper Lloyd"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.3924250", 
        "relation": "isVersionOf"
      }
    ]
  }
}
42
3
views
downloads
All versions This version
Views 4242
Downloads 33
Data volume 833.5 kB833.5 kB
Unique views 3030
Unique downloads 33

Share

Cite as