A Dependently Typed Assembly Language [pdf] (2001) | Heykuki News