Document Versions

Dependently Typed Data Structures –Hongwei Xi — 1999
Dependently typed data structures –Hongwei Xi — 1999 — Proceedings of Workshop of Algorithmic Aspects of Advanced Programming Languages (WAAAPL ’99
Dependently Typed Data Structures –Hongwei Xi — 1999 — IN PROCEEDINGS OF WORKSHOP ON ALGORITHMIC ASPECTS OF ADVANCED PROGRAMMING LANGUAGES
Dependently Typed Data Structures –Hongwei Xi — 1999 — In Proceedings of Workshop on Algorithmic Aspects of Advanced Programming Languages
Dependently Typed Data Structures –Hongwei Xi — 1999 — In Proceedings of Workshop on Algorithmic Aspects of Advanced Programming Languages