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