Sun Aug 21 22:51:38 CEST 2011


Had a quick look at AudioProc[1] and it doesn't seem to work for me
since it's list-based.  I need to explicit equation-rep for abstract
interpretation and code gen.

It uses loop to introduce feedback (with delay).  I'm not using that
at all: feedback is built-in as a primitive in my rep so it is easily
recoverable.  Meaning:

An open recursion relation is easier to convert back to an open
recursion relation in a different form than is a closed one.

However, it might be possible to use ArrowLoop to perform the binding
"interpretatively" only, leaving the open representation intact but
just recording the binding information separately.

[1] http://cs.yale.edu/c2/images/uploads/AudioProc-TR.pdf