학술논문
Trace types and denotational semantics for sound programmable inference in probabilistic languages
Document Type
Article
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Subject
Language
English
ISSN
24751421