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


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.3924251</identifier>
  <creators>
    <creator>
      <creatorName>Víctor López Juan</creatorName>
      <affiliation>Chalmers University of Technology</affiliation>
    </creator>
    <creator>
      <creatorName>Francesco Mazzoli</creatorName>
    </creator>
    <creator>
      <creatorName>Nils Anders Danielsson</creatorName>
      <affiliation>Gothenburg University</affiliation>
    </creator>
    <creator>
      <creatorName>Ulf Norell</creatorName>
      <affiliation>Chalmers University of Technology</affiliation>
    </creator>
    <creator>
      <creatorName>Andrea Vezzosi</creatorName>
      <affiliation>IT University of Copenhagen</affiliation>
    </creator>
    <creator>
      <creatorName>Andreas Abel</creatorName>
      <affiliation>Gothenburg University</affiliation>
    </creator>
    <creator>
      <creatorName>Andrés Sicard Ramírez</creatorName>
      <affiliation>Universidad EAFIT</affiliation>
    </creator>
    <creator>
      <creatorName>Jesper Lloyd</creatorName>
    </creator>
  </creators>
  <titles>
    <title>Tog⁺</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2020</publicationYear>
  <dates>
    <date dateType="Issued">2020-06-30</date>
  </dates>
  <language>en</language>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/3924251</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.3924250</relatedIdentifier>
  </relatedIdentifiers>
  <version>v2020.01.22</version>
  <rightsList>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&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;</description>
  </descriptions>
</resource>
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