A Aralex Aachen research explorer

January 24, 2012 conference-paper

A type theory for probability density functions

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2103656.2103721 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 22

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

11

citations

1 result

References 0