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...
No, but persistent bit partitioned tries were pretty well known in the late 90s (I first met them in standard ML in 2005)
No, but persistent bit partitioned tries were pretty well known in the late 90s (I first met them in standard ML in 2005)