Sigbjorn Finne Daan Leijen Erik Meijer Simon L. Peyton Jones Calling Hell From Heaven and Heaven From Hell. 114-125 1999 ICFP http://doi.acm.org/10.1145/317636.317790 db/conf/icfp/icfp99.html#FinneLMJ99