Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
Haskell prototype of the system described in Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages.
Run stack ghci to start an interactive prompt
with definitions from TraceTypes and BasicExamples
available.
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
MIT License