126
Voted
INFORMATICALT
2002
15 years 2 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...