Login / Signup

Symbolic conditioning of arrays in probabilistic programs.

Praveen NarayananChung-chieh Shan
Published in: Proc. ACM Program. Lang. (2017)
Keyphrases