@article{lorenzen_essence_2024,
author = {Lorenzen, Anton and Leijen, Daan and Swierstra, Wouter and Lindley, Sam},
title = {The Functional Essence of Imperative Binary Search Trees},
year = {2024},
issue_date = {June 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {PLDI},
url = {https://doi.org/10.1145/3656398},
doi = {10.1145/3656398},
journal = {Proceedings of the ACM on Programming Languages},
month = {jun},
articleno = {168},
numpages = {25}
}