Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages Published -- Download video MP4 360p