Collaborated with:
B.Bichsel T.Gehr M.T.Vechev V.K.Mansinghka
Talks about:
probabilist (1) increment (1) program (1) infer (1)
Person: Marco Cusumano-Towner
DBLP: Cusumano-Towner:Marco
Contributed to:
Wrote 1 papers:
- PLDI-2018-Cusumano-Towner18a #incremental #probability #source code
- Incremental inference for probabilistic programs (MCT, BB, TG, MTV, VKM), pp. 571–585.