Browsing Open Access Repositories by Subject "type safety"
Now showing items 1-1 of 1
-
Typesafety for Explicitly-Coded Probabilistic Inference Procedures
(2017-11-09)Researchers have recently proposed several systems that ease the process of developing Bayesian probabilistic inference algorithms. These include systems for automatic inference algorithm synthesis as well as stronger ...