DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 최광무 | - |
dc.contributor.advisor | Choe, Kwang-Moo | - |
dc.contributor.author | 이욱세 | - |
dc.contributor.author | Lee, Ook-Seh | - |
dc.date.accessioned | 2011-12-13T05:58:05Z | - |
dc.date.available | 2011-12-13T05:58:05Z | - |
dc.date.issued | 1997 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114314&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34212 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ ii, 37 p. ; ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 타입 유추 | - |
dc.subject | 타입 오류 | - |
dc.subject | Type error | - |
dc.subject | Type inference | - |
dc.title | 좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘 | - |
dc.title.alternative | $\cal M$ : a polymorphic type inference algorithm for short-ranged type error messages | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 114314/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000953458 | - |
dc.contributor.localauthor | 최광무 | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.