![Gyunghee Park](https://popl19.sigplan.org/getProfileImage/gyungheepark/afc0279f-84cd-4f88-b703-27f7a945bf13/small.jpg?1715064084000)
Registered user since Wed 16 Jan 2019
Name:Gyunghee Park
Country:South Korea
Affiliation:KAIST, Oracle Labs
Personal website: https://plrg.kaist.ac.kr/ghp
Research interests:Type system
Contributions
POPL 2019-profile
View general profile
View general profile