Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach | Read Paper on Bytez