A Type Theory for Probability Density Functions Sooraj Bhat Ashish AgarwalF Richard Vuduc Alexander Gray Georgia Institute of Technology FNew York University POPL 2012 –…