치환간의 종속관계를 이용한 단형 타입의 점진적인 유추An incremental monomorphic type inference using a dependency relation on substitutions
- Advisors
- 최광무researcher; Choe, Kwang-Mooresearcher
- Description
- 한국과학기술원 : 전산학전공,
- Publisher
- 한국과학기술원
- Issue Date
- 2000
- Identifier
- 157545/325007 / 000983198
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ 38 p. ]
- Keywords
종속관계; 치환; 점진적 유추; 단형 타입; Incremental; Substitution; Depencency relation; Type inference; Monomorphic
- Appears in Collection
- CS-Theses_Master(석사논문)
- 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.