Tog⁺
- Francesco Mazzoli(Creator),
- Víctor López Juan(Contributor),
- Nils Anders Danielsson(Contributor),
- Ulf Norell(Contributor),
- Andrea Vezzosi(Contributor),
- Andreas Abel(Contributor)
- Chalmers University of Technology,
- EAFIT University,
- ,
- University of Gothenburg
Dataset:
Dataset Types
Software
Dataset Information
Date made available
2020-06-30Publisher
ZENODODescription
Tog⁺, a dependent type checker using twin types. Modified by Víctor López Juan from https://github.com/bitonic/tog, with some additional examples from Nils Anders Danielsson and others. This is a prototype used for running experiments and benchmarks about type-checking and unification, in particular those examples in the "examples/" directory. I make no guarantees that the implementation is free of bugs. Additional details on https://lopezjuan.com/project/togt
Cite this dataset
Brief description
Francesco Mazzoli, Víctor López Juan, Nils Anders Danielsson, Ulf Norell, Andrea Vezzosi, Andreas Abel, Andrés Sicard Ramírez, Jesper Lloyd. (2020). Tog⁺. 10.5281/zenodo.3924251