
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
View general profile