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 2018 Path Dependent Types with Path-Equality
Show activities from other conferences

ICFP 2018-profile
View general profile