2024-12-24 11:00: Our storage is full. Uploading files will be possible again from December 28, 2024.

Generics library for datatype-generic programming in Agda

doi:10.4121/19960826.v1
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
doi: 10.4121/19960826
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.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Software

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
organizations
TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science, Department of Software Technology

DATA

files (1)