Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibaut Benjamin
conf.researchr.org general profile
POPL 2026 profile
STAF 2023 profile
Registered user since Mon 29 Dec 2025
Name:
Thibaut Benjamin
Country:
France
Affiliation:
Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
Contributions
2026
POPL
Author of AdapTT: Functoriality for Dependent Type Casts within the POPL-track
2023
TAP
Presenter of Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking within the Research Papers-track
Share
x
Tue 12 May 00:20
