Functional concepts in C++. - Rose H. Abdul Rauf; Ulrich Berger 001; Anton Setzer (Trends in Functional Programming, 2006)

A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. - Rose H. Abdul Rauf; Ulrich Berger 001; Anton Setzer (Theory Comput. Syst., 2008)

Integrating functional programming into C++. - Rose H. Abdul Rauf (2008)