Weight-balanced trees in Standard ML.
- Poly/ML
- MLKit
- MLton
- Moscow ML
Y. Hirai and K. Yamamoto. Balancing weight-balanced trees. Journal of Functional Programming 21(3), 287–307, 2011. DOI: 10.1017/S0956796811000104.
Weight-balanced trees in Standard ML.
Y. Hirai and K. Yamamoto. Balancing weight-balanced trees. Journal of Functional Programming 21(3), 287–307, 2011. DOI: 10.1017/S0956796811000104.