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-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "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>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "Chalmers University of Technology", 
      "@type": "Person", 
      "name": "V\u00edctor L\u00f3pez Juan"
    }, 
    {
      "@type": "Person", 
      "name": "Francesco Mazzoli"
    }, 
    {
      "affiliation": "Gothenburg University", 
      "@type": "Person", 
      "name": "Nils Anders Danielsson"
    }, 
    {
      "affiliation": "Chalmers University of Technology", 
      "@type": "Person", 
      "name": "Ulf Norell"
    }, 
    {
      "affiliation": "IT University of Copenhagen", 
      "@type": "Person", 
      "name": "Andrea Vezzosi"
    }, 
    {
      "affiliation": "Gothenburg University", 
      "@type": "Person", 
      "name": "Andreas Abel"
    }, 
    {
      "affiliation": "Universidad EAFIT", 
      "@type": "Person", 
      "name": "Andr\u00e9s Sicard Ram\u00edrez"
    }, 
    {
      "@type": "Person", 
      "name": "Jesper Lloyd"
    }
  ], 
  "url": "https://zenodo.org/record/3924251", 
  "datePublished": "2020-06-30", 
  "version": "v2020.01.22", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3924251", 
  "@id": "https://doi.org/10.5281/zenodo.3924251", 
  "@type": "SoftwareSourceCode", 
  "name": "Tog\u207a"
}
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