Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Generics, a library for dataty...

Treffer: Generics, a library for datatype-generic programming in Agda

Title:
Generics, a library for datatype-generic programming in Agda
Authors:
Lucas Escot, Jesper Cockx, orcid:0000-0001-9642-
Publisher Information:
Zenodo
Publication Year:
2022
Collection:
Zenodo
Subject Terms:
agda, Type Theory, Generic Programming, Dependent Types, Metaprogramming
Document Type:
E-Ressource software
Language:
English
Relation:
https://zenodo.org/records/6767057; oai:zenodo.org:6767057; https://doi.org/10.5281/zenodo.6767057
DOI:
10.5281/zenodo.6767057
Availability:
https://doi.org/10.5281/zenodo.6767057
https://zenodo.org/records/6767057
Rights:
MIT License ; mit ; https://opensource.org/licenses/MIT
Accession Number:
edsbas.FFE5A968
Database:
BASE

Weitere Informationen

This archive contains the source code for the Generics Agda library for safe, typed datatype-generic programming. This archive is intended for use as an artifact in a journal submission. To follow the latest development of the Generics library, please go to the Github repository.