Xi, Hongwei. Dependently typed data structures. In Proceedings of the Workshop of Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99). pages 17-32, 1999.
@inproceedings{xi1999dependently,
title = {Dependently typed data structures},
author = {Xi, Hongwei},
year = {1999},
tags = {Intrinsic-Verification},
researchr = {https://researchr.org/publication/xi1999dependently},
cites = {0},
citedby = {0},
pages = {17-32},
booktitle = {Proceedings of the Workshop of Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)},
}