좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘$\cal M$ : a polymorphic type inference algorithm for short-ranged type error messages
- Advisors
- 최광무researcher; Choe, Kwang-Mooresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1997
- Identifier
- 114314/325007 / 000953458
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ ii, 37 p. ; ]
- Keywords
타입 유추; 타입 오류; Type error; Type inference
- 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.