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