Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gijs Pennings
conf.researchr.org general profile
POPL 2026 profile
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
Share
x
Wed 18 Feb 22:31