Publication
재귀모듈 프로그래밍을 위한 타입시스템의 설계
한국정보과학회 2012 한국컴퓨터종합학술대회 (KCC), 2012.06
Authors
Awards
우수발표논문상