The DOI displayed above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
DOI: 10.4121/19960826

Escot, Lucas; Cockx, Jesper (2023): Generics library for datatype-generic programming in Agda. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/19960826.v1

Usage statistics

Categories

• Computer Software
• Information and Computing Sciences

Keywords

Agda Dependent Types Generic Programming Metaprogramming Type Theory

Licence

MIT

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by Lucas Escot, Jesper Cockx

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.

History

• 2023-05-25 first online, published, posted

Publisher

4TU.ResearchData

Format

application/gzip

Associated peer-reviewed publication

Practical generic programming over a universe of native datatypes

Organizations

TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science, Department of Software Technology