@inproceedings{DTAL-icfp01,
author = "Hongwei Xi and Robert Harper",
title = {{Dependently Typed Assembly Language}}
booktitle = "Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming",
year = 2001,
month = "September",
address = "Florence, Italy",
pages = "169--180",
}