Write a Blog >>
Jaemin Hong

Registered user since Fri 24 Aug 2018

Name: Jaemin Hong

Country: South Korea

Affiliation: KAIST, South Korea

Research interests: Type Systems

Contributions

Scala 2018Author of Path Dependent Types with Path-Equality within the Scala 2018-track
Show activities from other conferences

ICFP 2018-profile
View general profile