Usage statistics

Totals for datasets (co-)authored by Lucas Escot

Datasets

• Generics library for datatype-generic programming in Agda

Co-authors

Co-authors of Lucas Escot's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Jesper Cockx