DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 최광무 | - |
dc.contributor.advisor | Choe, Kwang-Moo | - |
dc.contributor.author | 문부기 | - |
dc.contributor.author | Moon, Boo-Gi | - |
dc.date.accessioned | 2011-12-13T06:00:40Z | - |
dc.date.available | 2011-12-13T06:00:40Z | - |
dc.date.issued | 2000 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157545&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34379 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ 38 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 종속관계 | - |
dc.subject | 치환 | - |
dc.subject | 점진적 유추 | - |
dc.subject | 단형 타입 | - |
dc.subject | Incremental | - |
dc.subject | Substitution | - |
dc.subject | Depencency relation | - |
dc.subject | Type inference | - |
dc.subject | Monomorphic | - |
dc.title | 치환간의 종속관계를 이용한 단형 타입의 점진적인 유추 | - |
dc.title.alternative | An incremental monomorphic type inference using a dependency relation on substitutions | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 157545/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000983198 | - |
dc.contributor.localauthor | 최광무 | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.