Qianchuan Ye

Registered user since Fri 7 Dec 2018

Name:Qianchuan Ye
Country:United States
Affiliation:Purdue University

Contributions

CoqPL 2022 Scrap your boilerplate definitions in 10 lines of Ltac!
POPL 2022 Oblivious Algebraic Data Types
Show activities from other conferences

POPL 2022-profile
View general profile