Gijs Pennings -

Registered user since Sun 14 Dec 2025

Name:Gijs Pennings

Affiliation:Eindhoven University of Technology

Contributions

2026

RocqPL

Author of A systematic approach to "Well-founded recursion done right" within the Rocq for Programming Languages 2026-track