(Warning: this description corresponds to the first implementation of this example and is currently outdated. The current version can be downloaded from the example page.)
The archive below contains:
the initial program, modular with respect to functions;
the transformation to get a behavior equivalent program but modular with respect to data constructors;
the transformation to transform the second architecture of the program (data-centered) into to the initial architecture (function-centered).
lambdacube.tar.gz