Hi Kazu and all,
Hello libraries and cafe,
We (Hirai and I) would like to tell you our paper relating to
Data.Set and Data.Map. Balancing Weight-Balanced Trees is now
accepted and will appear in Journal of Functional Programming.
The camera-ready version of the paper is available from:
Hello libraries and cafe,
We (Hirai and I) would like to tell you our paper relating to
Data.Set and Data.Map. Balancing Weight-Balanced Trees is now
accepted and will appear in Journal of Functional Programming.
The camera-ready version of the paper is available from: