Check out Sooraj’s and Ashish’s cool new paper, to appear at POPL’12. Abstract, preprint, and short blurb at Ashish’s website.
Citation:
Sooraj Bhat, Ashish Agarwal, Richard Vuduc, Alexander Gray. A type theory for probability density functions. In Proc. Principles and Practice of Programming Languages (POPL), Philadelphia, PA, USA, Jan. 2012. (to appear)