Dependently typed data structures. Okasaki, C. (ed (1999)

by H Xi
Venue:Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99