Conditional Independence by Typing

Maria I. Gorinova 0001, Andrew D. Gordon 0001, Charles Sutton, Matthijs Vákár. Conditional Independence by Typing. ACM Transactions on Programming Languages and Systems, 44(1), 2022. [doi]

Abstract

Abstract is missing.