두 가지 대표적인 다단계 언어인 Lisp과 MetaML의 차이를 설명한다. 실행 의미적으로 두 언어가 어떤 차이를 보이는지 설명하고, 그러한 차이가 단계 풀기 변환에서 어떻게 드러나는지 보인다. 마지막으로 두 언어의 근본적인 차이점에 대한 기원 및 각 언어의 응용에 대해 논한다.
연구 과제 주관 기관 : 한국연구재단