
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