Usage statistics

Totals for datasets (co-)authored by 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

Co-authors

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

• Bohdan Liesnikov
• Leonhard Applis
• Lucas Escot
• Razvan Nistor