Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Lamiaux
conf.researchr.org general profile
PLDI 2026 profile
POPL 2026 profile
Not registered as user
Name:
Thomas Lamiaux
Country:
France
Affiliation:
Nantes Université; Inria
Contributions
2026
PLDI
Author of Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq within the PLDI Research Papers-track
RocqPL
Author of Nested Inductive Types for Rocq and Lean within the Rocq for Programming Languages 2026-track
Share
x
Thu 29 Oct 02:08