Runqing Xu -

Registered user since Wed 4 Dec 2024

Name:Runqing Xu

Contributions

2025

CoqPL

Author of A Framework of Differential Operators within the CoqPL 2025-track

2024

SPLASH

Author of AUTOINC: Incrementality for Free within the Posters-track