usage stats
Totals for datasets (co-)authored by Jesper Cockx
77
downloads
221
views
Jesper Cockx
Datasets
- Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- Data underlying the Bachelor's thesis: Adapting existing bug taxonomies to Haskell
- Generics library for datatype-generic programming in Agda
