Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발A tool for showing inferenced types of standard ML expressions
- Advisors
- 이광근researcher; Yi, Kwang-Keunresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1997
- Identifier
- 114339/325007 / 000953631
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ vi, 49 p. ]
- Keywords
도구; 타입 보여주기; Standard ML; Tool; Type showing
- 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.