학위논문
A syntactic type system for recursive modules = 재귀 모듈을 위한 구문 기반 타입 시스템
표제/저자사항 A syntactic type system for recursive modules = 재귀 모듈을 위한 구문 기반 타입 시스템 / Hyeonseung Im
발행사항 Pohang : Pohang Univ. of Science and Technology, 2012
형태사항 iv, 114 leaves ; 26 cm
주기사항 Thesis(Ph.D.) -- Pohang Univ. of Science and Technology, Division of Electrical and Computer Engineering (Computer Science and Engineering), 2012
Bibliography: leaves 106-111
In English; summary in Korean
분류기호 한국십진분류법-> 004.735듀이십진분류법-> 006.35
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로