Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hyeonseung Im
conf.researchr.org general profile
ESOP 2015 profile
SPLASH 2011 profile
SPLASH 2016 profile
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
Share
x
Sat 10 Jun 12:11