Low-level programming in Hume: an exploration of the HW-Hume level (2006)

by Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Venue:In Proceedings of Implementation of Functional Languages (IFL 2006), volume 4449 of Lecture Notes in Computer Science