2010/8/23 Eugene Kirpichov <ekirpichov at gmail.com>: > [snip] > Do there exist other nontrivial higher-order algorithms and datastructures? > Is the field of higher-order algorithms indeed as unexplored as it seems? > [snip] Hi, I'm thinking to some HOAS (higher order abstract syntax) representation. Cheers, Thu