학위논문(박사) - 한국과학기술원 : 전산학전공, 2000.2, [ 163 p. ]
그래프 축약; 지연 함수형 언어; G-machine; 언어 구현; Language implementation; Graph reduction; Lazy functional language; G-machine
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.