@InProceedings{xi+:dtal-icfp,
  author = 	 {Hongwei Xi and Robert Harper},
  title = 	 {A Dependently Typed Assembly Language},
  booktitle = 	 {International Conference on Functional Programming},
  pages =	 {?--?},
  year =	 2001,
  address =	 {Florence, Italy},
  month =	 {September},
  note =	 {(To appear.)}
}