Author Archives: sherman

Constructive probabilistic semantics with non-spatial locales

Ideally, a probabilistic programming language should admit a computable semantics. But languages often provide operators that denote uncomputable functions, such as comparison of real numbers.¬†While the use of these uncomputable operators may result in uncomputable programs, a programmer can productively … Continue reading

Posted in Uncategorized | Comments Off on Constructive probabilistic semantics with non-spatial locales