TY  - RPRT
TI  - Efficient Extensional Binary Tries
AU  - Andrew W Appel
AU  - Xavier Leroy
PY  - 2023
DO  - 10.1007/s10817-022-09655-x
UR  - https://arxiv.org/abs/2110.05063
ID  - 2110.05063
ER  -