http://gallium.inria.fr/~fpottier/publis/mezzo-icfp2013-long.pdf http://gallium.inria.fr/~fpottier/publis/mezzo-icfp2013-long... http://lambda-the-ultimate.org

http://gallium.inria.fr/~fpottier/publis/mezzo-icfp2013-long.pdf http://gallium.inria.fr/~fpottier/publis/mezzo-icfp2013-long... http://lambda-the-ultimate.org/node/4960 http://lambda-the-ultimate.org/node/4960 thanks; these are all very interesting.