Publication 재귀 모듈을 위한 구문 기반 타입 시스템 정보과학회 컴퓨팅의 실제 논문지, 제18권 제12호, pp. 926-930, 2012.12 Authors 임현승 임정표 박성우 Tags programming-languages formal-methods PDF