A Dependently Typed Assembly Language.

Hongwei Xi, Robert Harper

Browse the full ICFP paper archive.