Registered user since Sat 12 Dec 2020
Name:Kwanghoon Choi
Country:South Korea
Affiliation:Chonnam National University
Personal website: https://kwanghoon.github.io
GitHub: https://github.com/kwanghoon
Research interests:Type system, Functional programming, Tools, Compilers, Software engineering
Contributions
Using general profile