Li, Y., Xia, L., & Weirich, S. (2021). Reasoning about the garden of forking paths. Proc. ACM Program. Lang., 5(ICFP), 80:1–80:28. https://doi.org/10.1145/3473585