Ctrl K

Software Projects Organisations Communities News

Ctrl K

Limited functionality: Your browser does not support JavaScript.

Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

3

mentions

2

contributors

Description

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.

Keywords

Dependent Types

Generic Programming

Metaprogramming

License

MIT

Packages

Reference papers

1.
Author(s): Lucas Escot, Jesper Cockx
Published in Proceedings of the ACM on Programming Languages by Association for Computing Machinery (ACM) in 2022, page: 625-649
10.1145/3547644

Mentions

1.
Published in Lecture Notes in Computer Science by Springer Nature Switzerland in 2024
10.1007/978-3-031-57262-3

1.
Author(s): Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Published in Lecture Notes in Computer Science, Programming Languages and Systems by Springer Nature Switzerland in 2024, page: 302-331
10.1007/978-3-031-57262-3_13

1.
Author(s): Andrew M. Pitts
Published in Proceedings of the ACM on Programming Languages by Association for Computing Machinery (ACM) in 2023, page: 488-514
10.1145/3571210

Contributors

JC

Jesper Cockx

LE

Lucas Escot

Member of community

4TU