Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2010.11a
- /
- 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)
- Published : 2010.11.05
Abstract
Keywords