Composing inference algorithms as program transformations | Read Paper on Bytez