@inproceedings{xi99waaapl,
author = "Hongwei Xi",
title = {{Dependently Typed Data Structures}},
booktitle = "Proceedings of Workshop of Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)
year = 1999,
month = "September",
pages = "17--32",
address = "Paris",
}