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


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <controlfield tag="005">20210421142237.0</controlfield>
  <controlfield tag="001">3924251</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Francesco Mazzoli</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Gothenburg University</subfield>
    <subfield code="a">Nils Anders Danielsson</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Chalmers University of Technology</subfield>
    <subfield code="a">Ulf Norell</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">IT University of Copenhagen</subfield>
    <subfield code="a">Andrea Vezzosi</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Gothenburg University</subfield>
    <subfield code="a">Andreas Abel</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Universidad EAFIT</subfield>
    <subfield code="a">Andrés Sicard Ramírez</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Jesper Lloyd</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2977</subfield>
    <subfield code="z">md5:d5c9993b67e8b8bdbf60f30f288432df</subfield>
    <subfield code="u">https://zenodo.org/record/3924251/files/LICENSE</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">277846</subfield>
    <subfield code="z">md5:56a0d166d703051b6daa24be14d38066</subfield>
    <subfield code="u">https://zenodo.org/record/3924251/files/togt-2020.01.22.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2020-06-30</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:3924251</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Chalmers University of Technology</subfield>
    <subfield code="a">Víctor López Juan</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Tog⁺</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="a">Other (Attribution)</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;Tog⁺, a dependent type checker using twin types.&lt;/p&gt;

&lt;p&gt;Modified by V&amp;iacute;ctor L&amp;oacute;pez Juan from &lt;a href="http://github.com/bitonic/tog"&gt;https://github.com/bitonic/tog&lt;/a&gt;, with some additional examples from Nils Anders Danielsson and others.&lt;/p&gt;

&lt;p&gt;This is a prototype used for running experiments and benchmarks about type-checking and unification,&lt;br&gt;
in particular those examples in the &amp;quot;examples/&amp;quot; directory.&lt;br&gt;
I make no guarantees that the implementation is free of bugs.&lt;/p&gt;

&lt;p&gt;Additional details on &lt;a href="https://lopezjuan.com/project/togt"&gt;https://lopezjuan.com/project/togt&lt;/a&gt;&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3924250</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3924251</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
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