/wbt

Weight-balanced tree library for Standard ML

Primary LanguageStandard ML

Weight-balanced tree

Weight-balanced trees in Standard ML.

Supported implementations

  • Poly/ML
  • MLKit
  • MLton
  • Moscow ML

Reference

Y. Hirai and K. Yamamoto. Balancing weight-balanced trees. Journal of Functional Programming 21(3), 287–307, 2011. DOI: 10.1017/S0956796811000104.