Design and Implementation of a Dependable Interpreter for Functional Programs.

Yosuke Takigiku, Yasuaki Oota, Keiichi Kaneko

Browse the full CATA paper archive.