looks like the function language part of the cola framework: <a href="http://piumarta.com/software/cola/coke.html" rel="nofollow">http://piumarta.com/software/cola/coke.html</a><p>Example with discussion on LtU:
<a href="http://lambda-the-ultimate.org/node/2796" rel="nofollow">http://lambda-the-ultimate.org/node/2796</a>