Here are some related papers you might be interested in (If you haven't seen them already): http://lambda-the-ultimate.org/node/1589 http://lambda-the-ultimate

Here are some related papers you might be interested in (If you haven't seen them already): http://lambda-the-ultimate.org/node/1589 http://lambda-the-ultimate.org/node/1589 http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf http://www.cs.indiana.edu/~dyb/pubs/commercial-nanopass.pdf http://www.cs.indiana.edu/~dyb/pubs/commercial-nanopass.pdf