Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yann Leray
conf.researchr.org general profile
POPL 2026 profile
Registered user since Fri 11 Jul 2025
Name:
Yann Leray
Contributions
2026
POPL
Author of Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally within the POPL-track
RocqPL
Panelist of Session with the Rocq Development Team within the Rocq for Programming Languages 2026-track
Share
x
Wed 28 Oct 15:35