Guannan Wei
Scholar

Guannan Wei

Google Scholar ID: b_6L2goAAAAJ
Tufts University
Programming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
315
 
H-index
11
 
i10-index
14
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
2 items
Escape with Your Self: A Solution to the Avoidance Problem with Decidable Bidirectional Typing for Reachability Types
2024
Cited
2
Modeling Reachability Types with Logical Relations
arXiv.org · 2023
Cited
3
Resume (English only)
Co-authors
18 total
Tiark Rompf
Tiark Rompf
Purdue University
Oliver Bračevac
Oliver Bračevac
Engineer / Researcher at EPFL/LAMP
Co-author 3
Co-author 3
Songlin Jia
Songlin Jia
Purdue University
Shangyin Tan
Shangyin Tan
PhD Student, UC Berkeley
Xiangyu Zhang
Xiangyu Zhang
Samuel Conte Professor of Computer Science, Purdue University
Co-author 7
Co-author 7
ZHUO ZHANG
ZHUO ZHANG
Assistant Professor, Columbia University