Graham Hutton Joel Wright Calculating an exceptional machine. 49-64 2004 conf/sfp/2004 Trends in Functional Programming db/conf/sfp/tfp2004.html#HuttonW04