레코드 접합 연산을 포함한 다형적 레코드 계산법A polymorphic record calculus with record concatenation operation

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 500
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorHan, Tai-Sook-
dc.contributor.advisor한태숙-
dc.contributor.authorKim, Sang-Oh-
dc.contributor.author김상오-
dc.date.accessioned2011-12-13T05:56:16Z-
dc.date.available2011-12-13T05:56:16Z-
dc.date.issued1995-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=99320&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/34091-
dc.description학위논문(석사) - 한국과학기술원 : 전산학과, 1995.2, [ iii, 49 p. ]-
dc.languagekor-
dc.publisher한국과학기술원-
dc.subject객체 지향 프로그래밍-
dc.subject다형적 레코드 계산-
dc.title레코드 접합 연산을 포함한 다형적 레코드 계산법-
dc.title.alternativeA polymorphic record calculus with record concatenation operation-
dc.typeThesis(Master)-
dc.identifier.CNRN99320/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000933065-
dc.contributor.localauthorHan, Tai-Sook-
dc.contributor.localauthor한태숙-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0