The Functional Essence of Imperative Binary Search Trees

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley. The Functional Essence of Imperative Binary Search Trees. Proceedings of the ACM on Programming Languages, 8(PLDI):518-542, 2024. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.