A Type Inference Algorithm For A Linear Lambda Calculus For Hardware Description
- Title
- A Type Inference Algorithm For A Linear Lambda Calculus For Hardware Description
- Authors
- 임정표
- Date Issued
- 2011
- Publisher
- 포항공과대학교
- Abstract
- Based on the close relation between functional languages and hardware circuits, lλ provides a way to specify structural hardware description. Moreover, lλ supports several features of functional languages such as higher-order functions and polymorphism which enable to write programs more succinctly. In spite of these merits, it is impractical to develop a huge circuit with lλ because it requires programmers to annotate all type information
it is a heavy burden onprogrammers, and reduces the code readability. To solve this problem, this paper proposes the algorithm lW (linear W), which is a type inference algorithm for lλ. The algorithm lW, which is based on the algorithmW, automatically finds correct type of any untyped expression. The paper also shows that the algorithm always gives the most general type of any expression.
- URI
- http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001097715
https://oasis.postech.ac.kr/handle/2014.oak/1257
- Article Type
- Thesis
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.