Publication 재귀 타입과 합집합 타입을 위한 코인덕션 서브타이핑 정보과학회논문지, 제43권 제12호, pp. 1342-1350, 2016.12 Authors 임현승 Tags programming-languages formal-methods
