Kevin Hammond Roy Dyckhoff Christian Ferdinand Reinhold Heckmann Martin Hofmann Steffen Jost Hans-Wolfgang Loidl Greg Michaelson Robert F. Pointon Norman Scaife Jocelyn Sérot Andy Wallace The Embounded project (project start paper). 195-210 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#HammondDFHHJLMPSSW05