probcomp / haskell-trace-typesLinks

Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
10Updated last week

Alternatives and similar repositories for haskell-trace-types

Users that are interested in haskell-trace-types are comparing it to the libraries listed below

Sorting: