Showing results 1 to 2 of 2
조합자 그리프 압축방법을 이용한 지연 함수언어의 설계와 구현 = Design and implementation of lazy functional language using combinator graph reductionlink 오수형; Oh, Soo-Hyoung; et al, 한국과학기술원, 1991 |
지연대치 규칙과 배타적 베타규칙 적용 규칙을 이용한 그래프 축약 = A graph reduction scheme with delayed substitution rule and exclusive beta reduction rulelink 반규익; Barn, Kyu-Ic; et al, 한국과학기술원, 1993 |
Discover