Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Max Kurze
conf.researchr.org general profile
POPL 2026 profile
Registered user since Wed 17 Dec 2025
Name:
Max Kurze
Country:
Germany
Affiliation:
Barkhausen Institut
GitHub:
https://github.com/maxkurze1
Contributions
2026
RocqPL
Author of Scalable Type Inference for Intrinsically-Typed Binders within the Rocq for Programming Languages 2026-track
Share
x
Tue 6 Oct 05:26
