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