We describe a parser-translator program that translates typed Î»-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of Î»-terms into C++ withâ€¦ (More)

We introduce a translation of the simply typed Î»-calculus into C++, and give a mathematical proof of the correctness of this translation. For this purpose we develop a suitable fragment of C++â€¦ (More)

We describe a parser-translator program that translates typed Î»-terms to C++ classes so as to integrate functional programming. We prove the correctness of the translation with respect to aâ€¦ (More)

We describe a parser-translator program that translates typed Î»-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of Î»-terms into C++ withâ€¦ (More)