Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Praveen Narayanan

Symbolic Conditioning of Arrays in Probabilistic Programs

Proceedings of the ACM on Programming Languages

English