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