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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3924251", 
  "language": "eng", 
  "title": "Tog\u207a", 
  "issued": {
    "date-parts": [
      [
        2020, 
        6, 
        30
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "V\u00edctor L\u00f3pez Juan"
    }, 
    {
      "family": "Francesco Mazzoli"
    }, 
    {
      "family": "Nils Anders Danielsson"
    }, 
    {
      "family": "Ulf Norell"
    }, 
    {
      "family": "Andrea Vezzosi"
    }, 
    {
      "family": "Andreas Abel"
    }, 
    {
      "family": "Andr\u00e9s Sicard Ram\u00edrez"
    }, 
    {
      "family": "Jesper Lloyd"
    }
  ], 
  "version": "v2020.01.22", 
  "type": "article", 
  "id": "3924251"
}
45
3
views
downloads
All versions This version
Views 4545
Downloads 33
Data volume 833.5 kB833.5 kB
Unique views 3333
Unique downloads 33

Share

Cite as