![Deyuan (Mike) He](https://popl24.sigplan.org/getProfileImage/deyuanmikehe/fc4d0772-ef87-4ba3-a4f7-5b6582cc14d0/small.jpg?1711594181000)
Registered user since Fri 5 May 2023
Name:Deyuan (Mike) He
Country:United States
Affiliation:Princeton University
Personal website: https://only.rs
X (Twitter): https://x.com/1SHL10
GitHub: https://github.com/AD1024
Research interests:Programming Languages
Contributions
POPL 2024-profile
View general profile
View general profile