Gyunghee Park

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 2019Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track