Reasoning about the garden of forking paths

Yao Li, Li-yao Xia, Stephanie Weirich. Reasoning about the garden of forking paths. Proceedings of the ACM on Programming Languages, 5(ICFP):1-28, 2021. [doi]

Abstract

Abstract is missing.