한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.2(A)
- /
- Pages.175-176
- /
- 2010
- /
- 1598-5164(pISSN)
하드웨어 기술을 위한 선형 람다 셈법의 타입 유추
Type Inference for a Linear Lambda Calculus for Hardware Description
- Lim, Jeong-Pyo (Pohang University of Science and Technology) ;
-
Park, Sung-Woo
(Pohang University of Science and Technology)
- 발행 : 2010.11.05