A type theory for probability density functions.

Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray

Browse the full POPL paper archive.