# Trace types and denotational semantics for sound programmable inference in probabilistic languages

> Research article (Proceedings of the ACM on Programming Languages, 2019) · cited 29× · AI/ML

**Wikidata**: [openalex:W2994785018](https://www.wikidata.org/wiki/openalex:W2994785018)  
**Source**: https://4ort.xyz/entity/trace-types-and-denotational-semantics-for-sound-programmable-inference-in-probabilistic-languages