[stack] Interesting Joy usage

I was reading the recent "Steps towards the reinvention of
programming" paper from VPRI today and noticed this snippet:

"A subset of the "Joy" language is used for the internal
representation of dataflow programs. Joy is
a language based on Combinatory Logic, useful for program
transformation because it has no free
variables. We used a simplified Joy based on Linear Logic that
requires the programmer to make
explicit any duplication or deletion."

This is is on page 26 talking about a Visual Dataflow Programming.
Link to paper here:

http://www.vpri.org/pdf/steps_TR-2007-008.pdf

Chris.
-- 
http://www.bluishcoder.co.nz