[andrewcooke]

http://gallium.inria.fr/~fpottier/publis/mezzo-icfp2013-long...

http://lambda-the-ultimate.org/node/4960

thanks; these are all very interesting.