Kwanghoon Choi

Registered user since Sat 12 Dec 2020

Name:Kwanghoon Choi
Country:South Korea
Affiliation:Chonnam National University
Personal website:
Research interests:Type system, Functional programming, Tools, Compilers, Software engineering


ProWeb21 Author of Rec.HTML: Typed Declarative HTML within the ProWeb21-track
PEPM 2021 Author of A Text-based Syntax Completion Method Using LR Parsing within the PEPM 2021-track
ICFP 2020 Author of A theory of RPC calculi for client–server model within the ICFP Program-track