함수언어의 효과적인 구현을 위한 Combinatory Reduction System의 설계

함수언어는 combinator를 사용하여 간단히 처리될 수 있다. 우리는 graph reduction machine에 대한 simulator를 설계함으로써 combinator가 프로그램의 최적화와 이식성을 높이는데 매우 적합한 중간언어 임을 보이고자한다.