Showing results 1 to 2 of 2
G-기계에서 루트 최적화의 효율적인 구현 = An efficient implementation for root optimization in G-machinelink 오지웅; O, Chi-Ung; et al, 한국과학기술원, 1998 |
함수 언어에서의 역 람다 리프팅 변환에 대한 실험 = An experiment with reverse lambda lifting transformation in functional languageslink 최광훈; Choi, Kwang-Hoon; et al, 한국과학기술원, 1996 |
Discover