Gyunghee Park

Registered user since Wed 16 Jan 2019

Name:Gyunghee Park
Country:South Korea
Affiliation:KAIST, Oracle Labs
Research interests:Type system

Contributions

POPL 2019 Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track