conf.researchr.org / Hyeonseung Im

Not registered as user yet

Name:Hyeonseung Im
Affiliation:Kangwon National University, South Korea

Contributions

DLS 2016 Author of Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain within the DLS-track
ESOP 2015 Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track
SPLASH 2011 Author of A Syntactic Type System for Recursive Modules within the OOPSLA-track