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