Registered user since Sat 12 Dec 2020

Name: Kwanghoon Choi

Country: South Korea

Affiliation: Chonnam National University

Personal website: http://swlab.jnu.ac.kr

GitHub: https://github.com/kwanghoon

Research interests: Type system, Functional programming, Tools, Compilers, Software engineering

Contributions