== haskell ffi ==
http://research.microsoft.com/en-us/um/people/simonpj/papers/comserve.htm

== harpy ==
http://dl.acm.org/citation.cfm?id=1291214
http://www.grabmueller.de/martin/www/pub/TFP2006.de.html
http://www.grabmueller.de/martin/www/talks/harpy-koll.pdf

== basic block ==
http://en.wikipedia.org/wiki/Basic_block#Algorithm_to_generate_basic_blocks.

== others ==
http://bitc-lang.org/docs/papers/PLOS2006-shap.html
http://web.cecs.pdx.edu/~rebekah/papers/icfp05_bits.pdf
http://web.cecs.pdx.edu/~apt/icfp05.pdf

== haskell ==
http://www.cs.uu.nl/wiki/pub/Cco/CourseResources/ipt-20091113-dikt.pdf
http://dl.acm.org/citation.cfm?id=1596650