Generics library for datatype-generic programming in Agda
The doi 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
Datacite citation style:
Escot, Lucas; Cockx, Jesper (2023): Generics library for datatype-generic programming in Agda. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/19960826.v1Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
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.
- 2023-05-25 first online, published, posted
associated peer-reviewed publicationPractical generic programming over a universe of native datatypes
organizationsTU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science, Department of Software Technology
- download all files (zip)
971,358 bytes unzipped