Yosuke Takigiku, Yasuaki Oota, Keiichi Kaneko. Design and Implementation of a Dependable Interpreter for Functional Programs. In David Jeff Jackson, editor, 21st International Conference on Computers and Their Applications, CATA-2006, Seattle, Washington, USA, March 23-25, 2006, Proceedings. pages 7-12, ISCA, 2006.
Abstract is missing.