00895nam a2200229 a 4500001001300000005001500013007000300028008004100031041001300072049003100085052001700116056001500133082001500148100004800163245012700211260006000338300002800398502015300426504003300579546003400612900001900646KDM20126341520200915124027ta121116s2012    gbk      m SN 000   eng  0 aengbkor0 lWM722325lWM722326c2fWDP02a006.35b12-6  a004.7352501a006.352211 a임현승,g林賢勝,d1983-0KAC2020H028111a(A) syntactic type system for recursive modules =x재귀 모듈을 위한 구문 기반 타입 시스템 /dHyeonseung Im  aPohang :bPohang Univ. of Science and Technology,c2012  aiv, 114 leaves ;c26 cm1 aThesis(Ph.D.) --bPohang Univ. of Science and Technology,cDivision of Electrical and Computer Engineering (Computer Science and Engineering),d2012  aBibliography: leaves 106-111  aIn English; summary in Korean10aIm, Hyeonseung