Semi-symbolic inference for efficient streaming probabilistic programmingEric AtkinsonCharles Yuanet al.2022Proceedings of the ACM on Programming Languages