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

Posted in Presentations, Publications | Tagged , | 1 Comment