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