The computational power of compiling C
Martin Böhme, Bodo Manthey · University of Twente Research Information · 2003
Using a C++ compiler, any partial recursive function can be computed at compile time. We show this by using the C++ template mechanism to define functions via primitive recursion, composition, and µ-recursion. 1