| ▲ | swannodette 2 days ago | |
That's a big contribution, also the original HAMTs are not a functional data structure. See Section 3.4.1 in https://docdrop.org/download_annotation_doc/3386321-trk2f.pd... | ||
| ▲ | bjoli 2 days ago | parent [-] | |
No, but persistent bit partitioned tries were pretty well known in the late 90s (I first met them in standard ML in 2005) | ||