Dependently typed data structures (1999)

by Hongwei Xi
Venue:Proceedings of Workshop of Algorithmic Aspects of Advanced Programming Languages (WAAAPL ’99