Kevin Hammond Gudmund Grov Greg Michaelson Andrew Ireland Low-Level Programming in Hume: An Exploration of the HW-Hume Level. 91-107 2006 conf/ifl/2006 IFL http://dx.doi.org/10.1007/978-3-540-74130-5_6 db/conf/ifl/ifl2006.html#HammondGMI06