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
2016
DLS
Author of Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain within the DLS-track
2015
ESOP
Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track
2011
SPLASH
Author of A Syntactic Type System for Recursive Modules within the OOPSLA-track
Share
x
Thu 21 Nov 12:47