PLRust 2027
Mon 15 Mar 2027 Kyoto, Japan
co-located with ‹Programming› 2027
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (8)

D
Denis, Xavier
Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes FormellesFrance
X
Xia, Li-yao
LMF, Inria, Université Paris-SaclayFrance