Clojure’s immutable data structures are implemented as hash-array mapped tries, inspired by Phil Bagwell’s paper [1]. Other languages followed suit.

[1] https://os.unil.cloud.switch.ch/tind-customer-epfl/30e62590-...