00938na  a2200241   4500001001300000005001500013008004100028024002700069035001800096035002700114100003400141370004800175372004500223372004800268373005700316373006100373374004800434375001100482377001400493670010000507670005400607670003500661KAC2020H028120221019171730200910 b aznnnaabn          fa aaa      7 a00000004930134672isni  a(KRI)10655591  a(KISTI)ADPER82007443501 a임현승,g林賢勝,d1983-  c한국(국명)[韓國]0KSH20000101452nlsh  a컴퓨터[computer]0KSH19980009202nlsh  a공학(과학)[工學]0KSH20000036682nlsh  a한국정보과학회 (편집위원)s201803t201902  a강원대학교 컴퓨터공학과 (부교수)s20150214  a교수(대학)[敎授]0KSH19980114932nlsh  a남성  l한국어  a(A) syntactic type system for recursive modules, (Pohang Univ. of Science and Technology), 2012  a한국연구자정보(KRI)uhttps://www.kri.go.kr  aKISTIuhttps://www.kisti.re.kr