SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States

Not registered as user yet

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

Contributions

SPLASH 2011 A Syntactic Type System for Recursive Modules
Show activities from other conferences

SPLASH 2011-profile
View general profile