Registered user since Wed 16 Aug 2017

Name: Praveen Narayanan

Affiliation: Indiana University, USA

Personal website: http://homes.soic.indiana.edu/pravnar/

ICFP 2017 Activities

• Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track in ICFP 2017
• Show activities from other conferences