### Categories

### Tags

# Monthly Archives: October 2011

## A Type Theory for Probability Density Functions

Abstract There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language that simultaneously provides (1) continuous probability distributions, (2) the ability to naturally express … Continue reading